Delete a Remote Git Tag

Just a note more to myself as I always forget the syntax of this one. To delete a tag both local and remote:

git tag -d tag_name && git push origin :refs/tags/tag_name