Added git push.default setting