Clean up Git configuration of repositories
Due to our previous use of on-disk remotes and due to bugs where we inserted multiple keys into the gitconfig repositories may have accumulated quite a lot of cruft over the years. One example we saw in production had more than 383k lines in its gitconfig.
We should remove unneeded keys as part of repository maintenance.