Remove git repository from git config#140191

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

Kobzol:remove-git-repository-from-git-configKobzol/rust:remove-git-repository-from-git-configCopy head branch name to clipboard