git: push.default option