Deleting a tag from git (even after pushing)

We've all been there. You've made a mistake and somehow managed to push up a tag that shouldn't be in git. Thankfully, deleting a git tag (including on the remote) is fairly easy.

First, delete the tag locally:

$ git tag -d my_boo_boo_tag

Now, simply let the remote know about the delete:

$ git push origin :my_boo_boo_tag

After doing this, you should have this response from the remote:

Deleted tag 'my_boo_boo_tag' (was a1b2c34)