4.2.0 (2026-08-04)
Features
- pi-github-tools: add merge-state classification for PR check rollups (#673) (4243520)
- pi-github-tools: stream check-wait progress from release_pr_merge (#673) (13902d1)
- pi-github-tools: wait out in-progress checks in release_pr_merge (#673) (2b91c1c)