# General format to delete a **remote** tag on remote named "origin"
git push --delete origin <tag_name>
# My case exactly
git push --delete origin 1.0.0
git push --delete origin 1.0.1
手动转到 删除本地标记:
# list all tags
git tag
# OR (same thing):
git tag -l
# delete a local tag
git tag -d <tag_name>
# Example: delete local tag named `1.0.0`
git tag -d 1.0.0