Skip to content

Instantly share code, notes, and snippets.

@robinvanemden
Created February 10, 2019 13:30
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 robinvanemden/df67102aa6857e70762e7ff799f5c806 to your computer and use it in GitHub Desktop.
Save robinvanemden/df67102aa6857e70762e7ff799f5c806 to your computer and use it in GitHub Desktop.
How to Delete a Tag on GitHub
git tag -d [tag]
git push origin :[tag]
If the tag has the same name as one of the branches, use this instead:
git tag -d [tag]
git push origin :refs/tags/[tag]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment