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
ignore_git is set#87443bors merged 1 commit intorust-lang:masterfrom
