# If only exists locally:
$ git branch -d <local-branch>
# If already exists remotely:
$ git push origin --delete <remote-branch-name>
# If remote only on website: select symbol with number right of branch drop-down,
# then click red trashcan symbol on right side of list.