Skip to content

Instantly share code, notes, and snippets.

@bp2008

bp2008/GitHelp.md

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.
Download ZIP
Raw
GitHelp.md

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