How do I delete a Git branch locally and remotely? code example

Example: How do I delete a Git branch locally and remotely?

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