.gitconfig: set push.default