A cheat sheet for git. Best to be bookmarked, then Ctl+F to find what I’m looking for.

Delete remote tag

git push --delete origin tagname

Selecting

git push --delete origin tagname