Skip to content

Instantly share code, notes, and snippets.

@datatypevoid

datatypevoid/git-tag-delete-local-and-remote.sh

Forked from mobilemind/git-tag-delete-local-and-remote.sh
Created February 24, 2020 14:53
Show Gist options
  • Save datatypevoid/b2be4c16724051a835f7ae33e5a9aed3 to your computer and use it in GitHub Desktop.
Save datatypevoid/b2be4c16724051a835f7ae33e5a9aed3 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @mobilemind 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
    View file
    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 mobilemind created this gist Dec 10, 2013.
    4 changes: 4 additions & 0 deletions git-tag-delete-local-and-remote.sh
    View file
    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