push branch deletion to github code example

Example 1: delete branch

// delete branch locally
git branch -D localBranchName

// delete branch remotely
git push origin --delete remoteBranchName

Example 2: How to Delete Local/Remote Git Branches

$ git branch -a

# *master
# b1
# remote/origin/master
# remote/origin/b1

$ git push origin --delete b1
# [...]
# - [deleted] b1