remove push.default from gitconfig so old versions stop failing