Git commands to delete a local tag and the corresponding remote tag

View the local tags

git tag

Display the remote tags

git ls-remote --tags

Remove the local tag with the name TAGNAME

git tag -d TAGNAME

Remove the corresponding remote tag

git push origin :refs/tags/TAGNAME