This post list the commands required to delete a git tag both locally and on the remote server.
Delete Tag Locally
The git command tag -d can be used to delete a tag locally.
# Delete local tag
git tag -d <tag name>
# Example - Delete the local tag alpha1
git tag -d alpha1
Delete Tag on Remote Server
The git command push can be used to delete a tag on the remote server as shown below for remote server named origin.
# Delete remote tag
git push origin :refs/tags/<tag name>
# OR
git push --delete origin <tag name>
# Example - Delete the remote tag alpha1
git push origin :refs/tags/alpha1
# OR
git push --delete origin alpha1
