.gitconfig: default simple push