Delete-Remote-Git-Tag.md

How to: Delete a remote Git tag

You probably won't need to do this often (if ever at all) but just in case, here is how to delete a tag from a remote Git repository.

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

git tag -d tag_example

Sending changes to remote

git push origin :refs/tags/tag_example

That will remove 'tag_example' from the remote repository.

Based on https://nathanhoad.net/how-to-delete-a-remote-git-tag