I wanted a properly authenticated git push