How do I remove or delete a tag from a Git repo?
From How do I remove or delete a tag from a Git repo?
git tag -d release01 git push origin :refs/tags/release01