gitconfig: Use default push ‘simple’