git: push.default = simple