Skip to content

Instantly share code, notes, and snippets.

@deletosh
Created June 13, 2012 12:48
Show Gist options
  • Save deletosh/2923868 to your computer and use it in GitHub Desktop.
Save deletosh/2923868 to your computer and use it in GitHub Desktop.
git commands

delete a remote tag

If you have a tag named '12345' then you would just do this:

git tag -d 12345
git push origin :refs/tags/12345
```
@deletosh
Copy link
Author

git checkout refs/notes/commits
git fetch origin refs/notes/commits
git merge FETCH_HEAD
git update-ref refs/notes/commits HEAD
git checkout master

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