git: use push.default simple