Skip to content

Instantly share code, notes, and snippets.

@WebDevJL

WebDevJL/Git: remove tag

Created January 18, 2016 08:54
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save WebDevJL/975a4ca1bdfd7c9af202 to your computer and use it in GitHub Desktop.
Save WebDevJL/975a4ca1bdfd7c9af202 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Git: remove tag
You just need to push an 'empty' reference to the remote tag name:
git push origin :tagname
Or, more expressively, use the --delete option:
git push --delete origin tagname
If you also need to delete the local tag, use:
git tag -d tagname
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment