git: set push.default to simple