I want to delete a branch both locally and remotely.
$ git branch -d
I use the following in my Bash settings:
alias git-shoot="git push origin --delete"
Then you can call:
git-shoot branchname