# delete locally:
git tag -d <tag>
# delete remotely:
git push origin :refs/tags/<tag>
# another way to delete remotely:
git push --delete origin <tag>
# delete locally:
git tag -d <tag>
# delete remotely:
git push origin :refs/tags/<tag>
# another way to delete remotely:
git push --delete origin <tag>