| 
GNU/Linux Desktop Survival Guide
 by Graham Williams  | 
 | 
|||
Git Delete a Branch | 
Make sure you are not in the branch to be deleted:
$ git checkout main  | 
First delete the branch locally:
git branch -d localBranchName  | 
Then delete the branch remotely
git push origin --delete remoteBranchName  |