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: This will remove ‘tag123’ from the remote repository.