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 |