Git Delete Remote Tag
Tags are a handy feature in Git and other version-control systems. They can be used to denote things like releases. Sometimes tags are created prematurely, mistakenly or otherwise need to be deleted.
Local tag
Delete a local tag, abc123:
git tag -d abc123
Remote tag
Delete a tag, abc123, from the remote, origin:
Original syntax:
git push origin :refs/tags/abc123
Contemporary syntax:
git push origin -d abc123