CODE EXAMPLE FOR HTML

how to delete a tag

# delete local tag (on your PC)
git tag -d "tag_name"

# delete remote tag (on server)
git push --delete origin "tag_name"