Changing push.default for git