Move push.default to a prettier place in gitconfig.