hwo to delete local git tag code example Example: git delete tag name git push --delete origin tagname