Deleting a Remote Git Branch

Since I have to look this up *every* *single* *time*, I’ll just leave this post here for my own benefit (and hopefully others’).

Here are the git commands that one would use to delete both local and remote branches:

$ git push --delete <remote_name> <branch_name>
$ git branch -d <branch_name>

Additional detailed information about this can be found at the Stack Overflow post that I have found myself looking up over and over.