git tag – How to delete a git remote tag? – Stack Overflow
Posted by jpluimers on 2019/11/20
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:
–jeroen
Leave a Reply