git-delete-tag:tldr:002ff
git-delete-tag: Delete a tag.
$ git delete-tag ${tag_version}
try on your machine
In Git, the command "git delete-tag" is used to remove or delete an existing tag from a repository. The parameter "${tag_version}" denotes the specific version or name of the tag that will be deleted.
By executing the "git delete-tag" command with the specified tag version, Git will identify and remove that particular tag from the repository's tag list. This operation will only affect the tag reference, not the actual commits or objects associated with the tag.
It is important to note that this command only deletes the tag locally, within the local repository. To delete a tag from a remote repository, you need to invoke an additional command, such as "git push --delete origin ${tag_version}".
This explanation was created by an AI. In most cases those are correct. But please always be careful and
never run a command you are not sure if it is safe.