.gitconfig renamed because Debian has an old git.

push.default doesn't have the "simple" option in Debian's version of
git.