Ahhhh `git push` it. Real good.

Keith Stolte kstolte

Ahhhh `git push` it. Real good.

Coder, Adventurer, and Enthusiast of the finer things. Self-professed continuous improvement enthusiast.

mobilemind / git-tag-delete-local-and-remote.sh

Last active November 19, 2024 03:22

how to delete a git tag locally and remote

-# delete local tag '12345'
-git tag -d 12345
-# delete remote tag '12345' (eg, GitHub version too)
-git push origin :refs/tags/12345
-# alternative approach
-git push --delete origin tagName
-git tag -d tagName