I want to delete a branch both locally and remotely.
$ git branch -d
git branch -D git branch -D -r origin/ git push origin :