github delete branch

// delete branch locally
git branch -d localBranchName

//delete local branch that is unmerged
git branch -D localBranchName

// delete branch remotely
git push origin --delete remoteBranchName// delete branch locally
git branch -D localBranchName

// delete branch remotely
git push origin --delete remoteBranchName# Fetch changes from all remotes and locally delete 
# remote deleted branches/tags etc
# --prune will do the job :-;
git fetch --all --prune$ git branch -d branch_name
$ git branch -D branch_name