diff --git a/CLAUDE.md b/CLAUDE.md
index 2e2a3dd..abc7d07 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -20,3 +20,4 @@
    git push thePunderWoman <branch>
    gh pr create ...
    ```
+3. Once a PR lands, delete the local feature branch. This repo always squash or rebase merges — `main` never gets a merge commit for the PR, so `git branch -d` (and `--merged` checks) won't recognize the branch as merged even though its content has landed. Confirm via `git log --oneline` (look for the PR's commit/title on `main`) or `gh pr view <branch> --json state`, then use `git branch -D <branch>` to remove it.