git tag -d 12345
git push origin :refs/tags/12345