git-delete-tag
Delete both local and remote tags
TLDR
Delete local and remote tag
$ git delete-tag [tag_name]
SYNOPSIS
git delete-tag tag
DESCRIPTION
git delete-tag deletes a tag both locally and on the remote in a single operation. Part of the git-extras collection, it simplifies tag removal by combining what would normally require separate git tag -d and git push origin --delete commands.
Tags typically mark release points or significant commits, but occasionally need removal due to mistakes, versioning changes, or release rollbacks. This command ensures synchronization between local and remote repositories, preventing scenarios where a deleted local tag still appears when fetching from the remote.
SEE ALSO
git-tag(1), git-extras(1)
