Add note about push.default error when running git push