delete local, remote tag

ref: https://nathanhoad.net/how-to-delete-a-remote-git-tag

delete local:

git tag -d 12345

delete remote:

git push origin :refs/tags/12345