Delete local and remote tags

Sometimes you accidently create a bAd tag

# local
$ git tag -d <tagname>

# remote
$ git push --delete origin <tagname>

References

• DuckDuckGo