Delete local and remote tags
Sometimes you accidentally create a bAd tag
# local
$ git tag -d <tagname>
# remote
$ git push --delete origin <tagname>
I have created a little utility in my path with the above code. Available as a Gist.
Sometimes you accidentally create a bAd tag
# local
$ git tag -d <tagname>
# remote
$ git push --delete origin <tagname>
I have created a little utility in my path with the above code. Available as a Gist.