gitconfig: Set push.default = simple