Skip to content

Instantly share code, notes, and snippets.

@peterk143
Last active December 18, 2015 09:09
Show Gist options
  • Save peterk143/5759752 to your computer and use it in GitHub Desktop.
Save peterk143/5759752 to your computer and use it in GitHub Desktop.
If you have a remote tag named '12345' then you would just do this:
git tag -d 12345
git push origin :refs/tags/12345
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment