When working with git, often the brevity of a solution is remarkable. Remembering how it can be so short is the hard part. An explanation why helps, for instance with [WayBack] git tag – How to delete a git remote tag? – Stack Overflow by markdorison.
He explains why you end up with:
git push --delete <origin> <tagname>
Here, <origin> is your remote, and <tagname> the tag to delete.
He explains other ways, which is done by [WayBack] gist.github.com/mobilemind/7883996 as well:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # delete local tag '12345' | |
| git tag -d 12345 | |
| # delete remote tag '12345' (eg, GitHub version too) | |
| git push origin :refs/tags/12345 | |
| # alternative approach | |
| git push –delete origin tagName | |
| git tag -d tagName |
–jeroen
The Wiert Corner - irregular stream of stuff 