33.14 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 kt/local_branch_name
Then delete the branch remotely
git push origin --delete kt/remote_branch_name
Your donation will support ongoing availability and give you access to the PDF version of this 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-2022 Graham.Williams@togaware.com Creative Commons Attribution-ShareAlike 4.0
