Change git push.default because the default git version is older