Git push and push --tags don't work under the git shell when using public/private keys, so I'll have to do the pushes manually after running the tag script