Skip to content

Instantly share code, notes, and snippets.

@davidwaterston

davidwaterston/gist:3902518

Created October 16, 2012 22:38
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save davidwaterston/3902518 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save davidwaterston/3902518 to your computer and use it in GitHub Desktop.
Download ZIP
Git: Delete a remote tag
Raw
gistfile1
git tag -d abcde
git push origin :refs/tags/abcde
@davidwaterston
Copy link
Author

davidwaterston commented Oct 16, 2012

This will delete the tag 'abcde' locally then push the delete to the remote repo.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment