Deleting a tag from a repo is a very unusual task, and this is why is easy to forget how to do it.

Given a tag my-tag, you can delete it from the local repo like this:

git tag -d my-tag

And from a remote named i.e. origin like this:

git push origin :refs/tags/my-tag

And here’s a one liner:

tag="my-tag"; git tag -d $tag; git push origin :refs/tags/$tag