85.12 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
Your donation will support ongoing availability and give you access to the PDF version of the book. Desktop Survival Guides include Data Science, GNU/Linux, and MLHub. Books available on Amazon include Data Mining with Rattle and Essentials of Data Science. Popular open source software includes rattle, wajig, and mlhub. Hosted by Togaware, a pioneer of free and open source software since 1984. Copyright © 1995-2021 Graham.Williams@togaware.com Creative Commons Attribution-ShareAlike 4.0.