Sometimes when you work on a repository that isn’t managed by one person, the tagging becomes a mess. Here’s a way to clean it up.
- Rename the tag locally:
git tag new-tag-name old-tag-name
- Push to remote:
git push origin new-tag-name
- Delete tag locally:
git tag -d old-tag-name
- Push to remote:
git push origin :refs/tags/old-tag-name