Skip to content

Instantly share code, notes, and snippets.

@bp2008
Created January 6, 2022 23:44
Show Gist options
  • Save bp2008/c5b9305832fc84689cd8da5ffce1b357 to your computer and use it in GitHub Desktop.
Save bp2008/c5b9305832fc84689cd8da5ffce1b357 to your computer and use it in GitHub Desktop.

Git Help

Deleting Tags

This must currently be done via a command prompt:

git tag -d [tag]
git push origin :[tag]

source

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment