.gitconfig: set push type default simple