Skip to content

Instantly share code, notes, and snippets.

@DomPixie

DomPixie/git-delete-local-tags

Forked from DominicWatts/git-delete-local-tags
Created November 22, 2021 21:16
Show Gist options
  • Save DomPixie/970f20e9c4989bcf942ef13135b27b4c to your computer and use it in GitHub Desktop.
Save DomPixie/970f20e9c4989bcf942ef13135b27b4c to your computer and use it in GitHub Desktop.
Download ZIP
git delete local tags
Raw
git-delete-local-tags
# Delete a tag locally, then use git fetch to "get it back". If the tag doesn't exist on the remote, then it will remain deleted. Thus you need to type two lines in order:
git tag -l | xargs git tag -d
git fetch --tags
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment