Git: Delete Tags From Both Local and Remote Repositories
Cleaning up unused tags is an important part of Git housekeeping. This guide will show you how to delete tags from both local and remote Git repositories.
tl;dr
git push --delete origin <tag_name>
git tag -d <tag_name>
Continue reading to see a breakdown of each command.