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.

Good code is its own best documentation. As you’re about to add a comment, ask yourself, “How can I improve the code so that this comment isn’t needed?”

Steve McConnell