cleaning-up-merged-branches

Syncs main and deletes the local feature branch after a PR is merged on GitHub. Use when the user says they merged or squash-merged a PR ("I merged PR 411 on GitHub", "merged the PR", "clean up the branch"). Codifies this repo's squash-merge default, where git branch -d wrongly reports "not fully merged" and a verified force-delete is required.