add git push.default setting