chore: auto-close stale release PRs after 3 hours of inactivity - #9655

Open

cryptodev-2s wants to merge 17 commits into

mainfrom

chore/close-stale-release-prs

Commits on Jul 24, 2026

chore: auto-close stale release PRs after 3 hours of inactivity
cryptodev-2s
committed
fix: harden stale release PR closer against races and failed closes
cryptodev-2s
committed
fix: continue past failed PR refresh and merge-state checks
cryptodev-2s
committed
fix: recheck PR activity immediately before close and delete
cryptodev-2s
committed
fix: verify full label set and branch tip before delete
cryptodev-2s
committed
fix: comment after branch delete with accurate status
cryptodev-2s
committed
refactor: extract stale release closer into a script with inline constants
cryptodev-2s
committed
refactor: split stale release closer into scoped helpers and fix JSDoc lint
cryptodev-2s
committed
style: format close-stale-release-prs script
cryptodev-2s
committed

Commits on Jul 27, 2026

Merge branch 'main' into chore/close-stale-release-prs
cryptodev-2s
authored

Commits on Jul 28, 2026