Don't treat git repos as non-existent when `ignore_git` is set#87443

Merged

bors merged 1 commit intorust-lang:masterfrom

jyn514:submodules-take-n

Jul 28, 2021

Commits on Jul 25, 2021

Don't treat git repos as non-existent when `ignore_git` is set
jyn514
committed