gitconfig: push.default = simple