How to Delete a remote Git tag

You probably won’t need to do this often, but just in case you happen to, here is how to delete a tag from a remote Git repository. If you have a tag named ‘tag123’ then you would just do this:

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

This will remove ‘tag123’ from the remote repository.