Delete local and remote git tag

I can never remember how to delete a remote tag in git. Here is how to do it:

First delete local tag:

git tag -d 12345

Then delete remote tag:

git push origin :refs/tags/12345