gitconfig: push.default simple