.gitconfig: set push.default to "simple"