Did you just tag me?

Did you just mess up your git tags?

So I have been using git tags to trigger a github action to build docker images, but they need a v in them to trigger the action. So I often forget to add the v. Then have to look up how to delete a tag, heres my quick page on it now.

Delete a local Git tag

In order to delete a local Git tag, use the “git tag” command with the “-d” option.

$ git tag -d <tag_name>

For example, if you wanted to delete a local tag named “v1.0” on your commit list, you would run

$ git tag -d v1.0

Delete a remote Git tag

In order to delete a remote Git tag, use the “git push” command with the “–delete” option and specify the tag name.

$ git push --delete origin tagname

Back to the previous example, if you want to delete the remote Git tag named “v1.0”, you would run

$ git push --delete origin v1.0

To https://github.com/SCHKN/repo.git
 - [deleted]         v1.0