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

Merged

cryptodev-2s merged 24 commits into

mainfrom

chore/close-stale-release-prs

Jul 29, 2026

Commits on Jul 24, 2026

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

Commits on Jul 27, 2026

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

Commits on Jul 28, 2026

Commits on Jul 29, 2026