Add back a git push, that I thought was unnecessary, but isn't