Skip to content

Instantly share code, notes, and snippets.

View s-belichenko's full-sized avatar

Stas B. s-belichenko

  • Russia, Mocsow
View GitHub Profile
@wojtha
wojtha / gist:1852991
Created February 17, 2012 12:08
GIT: Remove tag from the remote repository
git tag -d 12345
git push origin :refs/tags/12345
/* That will remove '12345' from the remote repository. */
/* http://nathanhoad.net/how-to-delete-a-remote-git-tag */