git: set push.default=simple