Skip to content

feat: implement issue #1617 — Follow-up to #1609 (slice 2): gate dev-lead thread resolution on the pass having advanced the PR head - #1625

Merged
don-petry merged 5 commits into
mainfrom
dev-lead/issue-1617-20260901-0135
Sep 1, 2026
Merged

don-petry merged 5 commits into
mainfrom
dev-lead/issue-1617-20260901-0135

Merge branch 'main' into dev-lead/issue-1617-20260901-0135

09cef7c
Select commit
Loading
Failed to load commit list.