read

This is not something considered best practice but if the need arises that a tag must be removed from a remote repository server then here is how to delete it.

If you have a remote tag named branch-name it can be deleted with:

$ git tag -d branch-name
$ git push origin :refs/tags/branch-name

This will delete the tag both locally and remotely.