Use compatible value for git option push.default