CODE EXAMPLE FOR SHELL

How to delete a Git branch locally and remotely

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

// In most cases, <remote_name> will be origin.