Symptom
After PR #757 merged, the post-merge `consult --type pr` step failed with `No PR found for branch: builder/spir-755`. The same lookup worked pre-merge.
Root cause
`packages/codev/skeleton/forge/scripts/github/pr-search.sh` (or wherever `pr-search` lives in the forge layer) uses `gh pr list --search "...":` which defaults to filtering by `state:open`. Once a PR merges, this lookup returns nothing.
Fix shape
Add `--state all` (or equivalent flag) to the underlying `gh pr list` call so the search includes merged + closed PRs.
Suggested protocol
BUGFIX — single small flag addition in one script.
Symptom
After PR #757 merged, the post-merge `consult --type pr` step failed with `No PR found for branch: builder/spir-755`. The same lookup worked pre-merge.
Root cause
`packages/codev/skeleton/forge/scripts/github/pr-search.sh` (or wherever `pr-search` lives in the forge layer) uses `gh pr list --search "...":` which defaults to filtering by `state:open`. Once a PR merges, this lookup returns nothing.
Fix shape
Add `--state all` (or equivalent flag) to the underlying `gh pr list` call so the search includes merged + closed PRs.
Suggested protocol
BUGFIX — single small flag addition in one script.