.gitconfig: Set push.default to "simple"