Merged
Clean up local branch after PR is merged.
Context
- •Current branch: !
git branch --show-current - •All local branches: !
git branch
Instructions
- •Switch to main:
git switch main - •Pull latest:
git pull - •Delete local branch with
-D(squash merge requires force):git branch -D <branch>
The remote branch is auto-deleted by GitHub on merge.