only call git on git checkouts during bootstrap#108963

Merged

bors merged 1 commit intorust-lang:masterfrom

jhheider:fix-CI-non-git-builds

Mar 10, 2023

Commits on Mar 10, 2023

only call git on git checkouts
jhheider
authored