Git: push.default = simple