.gitconfig: push.default --> simple