
Deleting a remote git tag
Mistakes happen and sometimes you need to be able to delete something you already pushed to the git remote. Deleting a branch is pretty straightforward, but deleting a tag is slightly different. Here is an example of deleting a tag v1.2.3
: