modify git push.default