Skip to content

Instantly share code, notes, and snippets.

@mobilemind
Last active May 30, 2025 22:04

Revisions

  1. mobilemind revised this gist May 5, 2015. 1 changed file with 3 additions and 0 deletions.
    3 changes: 3 additions & 0 deletions git-tag-delete-local-and-remote.sh
    Original file line number Diff line number Diff line change
    @@ -2,3 +2,6 @@
    git tag -d 12345
    # delete remote tag '12345' (eg, GitHub version too)
    git push origin :refs/tags/12345
    # alternative approach
    git push --delete origin tagName
    git tag -d tagName
  2. mobilemind created this gist Dec 10, 2013.
    4 changes: 4 additions & 0 deletions git-tag-delete-local-and-remote.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,4 @@
    # delete local tag '12345'
    git tag -d 12345
    # delete remote tag '12345' (eg, GitHub version too)
    git push origin :refs/tags/12345