What to Do Locally After a GitHub Pull Request Is Merged
git checkout main
git pull
git branch -d feature/xxx
git fetch --prune
The commands above do four things:
- Switch back to the main branch
- Sync with the remote
- Delete the local feature branch
- Clean up remote branch references that have already been deleted