Delete local and remote tags
Sometimes you accidentally create a bAd tag
# local
$ git tag -d <tagname>
# remote
$ git push --delete origin <tagname>
Sometimes you accidentally create a bAd tag
# local
$ git tag -d <tagname>
# remote
$ git push --delete origin <tagname>