Skip to content

Instantly share code, notes, and snippets.

@cappie
cappie / gist:89dda6e60a1802a1b844e69309e82e6b
Created October 5, 2018 22:15 — forked from wojtha/gist:1852991
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 */