Don't treat git repos as non-existent when ignore_git is set#87443
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 28, 2021
Merged
Don't treat git repos as non-existent when `ignore_git` is set#87443bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
