I want to delete a branch both locally and remotely.
$ git branch -d
git push origin --delete
is easier to remember than
git push origin :branchName