Show `git diff` command on checkfile failure#19308

Merged

bishabosha merged 1 commit intoscala:mainfrom

dotty-staging:show-git-diff-command-on-checkfile-failure

Dec 20, 2023

Commits on Dec 20, 2023

Show `git diff` command on checkfile failure
nicolasstucki
committed