How to: Delete a remote Git tag

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