git delete tag name

Shell
git push --delete origin tagname
Source

Also in Shell: