git: push.default simple