Skip to content

Instantly share code, notes, and snippets.

@peterszatmary
Created October 6, 2020 13:37
Show Gist options
  • Save peterszatmary/3070ca1aedfd8ae7aecc74089e17e564 to your computer and use it in GitHub Desktop.
Save peterszatmary/3070ca1aedfd8ae7aecc74089e17e564 to your computer and use it in GitHub Desktop.
delete-git-tag-remotely
# Delete tag from remote git
git push --delete origin tag_name
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment