Git: How to delete a tag off the remote repo

If you have a tag named '12345' then you would just do this:

git tag -d 12345
git push origin :refs/tags/12345

That will remove '12345' from the remote repository.

Found that wonderful piece of help here:

http://nathanhoad.net/how-to-delete-a-remote-git-tag