{"id":25,"description":"git - deleting a branch","tags":["programming","git"],"contents":["git branch -d \u003cbranch\u003e # to delete local branch","git branch -D \u003cbranch\u003e # to force delete local branch","git push \u003cremote\u003e --delete \u003cremote-branch-name\u003e # to delete remote branch.","# e.g. git push origin --delete pr123456"]}