Rever git push default setting again, causes problems with old versions of git.