Fix git-need-push, as I am retiring from-mac push