Skip to content

Instantly share code, notes, and snippets.

@MartinAhrer
Created October 27, 2016 07:50
Show Gist options
  • Save MartinAhrer/9c3478c5e7f7c1a96a21878dab03cf57 to your computer and use it in GitHub Desktop.
Save MartinAhrer/9c3478c5e7f7c1a96a21878dab03cf57 to your computer and use it in GitHub Desktop.
git delete local and remote tag
git push --delete origin tagname
git tag --delete tagname
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment