Delete a Git remote tag

Easy when you know it. But almost impossible to guess.

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

Thanks to Nathan Hoad.