Skip to content

Instantly share code, notes, and snippets.

@wojtha
Created February 17, 2012 12:08
Show Gist options
  • Star 5 You must be signed in to star a gist
  • Fork 2 You must be signed in to fork a gist
  • Save wojtha/1852991 to your computer and use it in GitHub Desktop.
Save wojtha/1852991 to your computer and use it in GitHub Desktop.
GIT: Remove tag from the remote repository
git tag -d 12345
git push origin :refs/tags/12345
/* That will remove '12345' from the remote repository. */
/* http://nathanhoad.net/how-to-delete-a-remote-git-tag */
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment