pi-github-tools: v4.2.0

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)

Documentation

• fold the UNSTABLE check-wait runbook into release_pr_merge (#673) (54e549b)
• retro: add planning stage notes for issue #673 (c4e1c6d)
• retro: add TDD stage notes for issue #673 (850903e)