added git push.default setting