Repository navigation

Make reviews decide and close PRs by age - #817

Merged

Vilin97 merged 4 commits into

mainfrom

vasil/no-deferral-stale-prs

Nov 14, 2026

Merged

Make reviews decide and close PRs by age#817
Vilin97 merged 4 commits into
mainfrom
vasil/no-deferral-stale-prs

Commits on Nov 14, 2026
- Make reviews decide and close PRs by age
  
  Vilin97
  and
  claude
  committed
  45afb2d
- Fake lean with Python, not a sleep symlink, in the build-limit test
  
  Vilin97
  and
  claude
  committed
  7c93ea2
- Tell authors that reopening a closed stale PR does not reset its age
  
  Vilin97
  and
  claude
  committed
  155072e
- Preserve stale PR warning periods and isolate the issue bot
  Vilin97
  authored
  d8a0140