How to: Delete a git tag in a remote repository

We use git tags to manage our versions, and sometime we tag a version like so:

1 git tag v1.0.0

But, we realize that we have one more fix to commit.

To do so, we need to delete the tag first, but what if it has been pushed to the remote repository?

To delete a tag locally and remotely, use the following:

1 git tag -d v1.0.0
2 git push origin :refs/tags/v1.0.0

Basically, we push nothing in the remote tag (v1.0.0).