Comment out git push.default setting