Set git push.default to simple as current does not work with the old git version on dev.