Delete a remote tag via Git

These are three variants to do this:

git push origin :tag-name

git push --delete origin tag-name

git push origin :refs/tags/tag-name

The missing token before ":" states "nothing". So "pushing nothing to a specific tag reference overwrites & deletes a tag".