add rdg push git config entry for git protocol pushers (again)#2514

Kobzol merged 2 commits intomasterrust-lang/rustc-dev-guide:masterfrom

tshepang/for-ssh-protocolrust-lang/rustc-dev-guide:tshepang/for-ssh-protocolCopy head branch name to clipboard