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

+37-18

Commits on Jul 25, 2021

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