Skip to content

Instantly share code, notes, and snippets.

@DominicWatts
Last active November 22, 2021 21:16
Show Gist options
  • Save DominicWatts/1e3acc33488b22555f523ce4d2945594 to your computer and use it in GitHub Desktop.
Save DominicWatts/1e3acc33488b22555f523ce4d2945594 to your computer and use it in GitHub Desktop.
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