How to remove a Git tag (locally and remotely)

Just in case I forget how to remove Git tags from a repo, I’m posting it here for future reference.