github how to delete a tag code example Example: git delete tag name git push --delete origin tagname