bora89
8/22/2016 - 3:04 PM

Delete a remote git tag From https://nathanhoad.net/how-to-delete-a-remote-git-tag

git tag -d 12345
git push origin :refs/tags/12345