Skip to content

Budget PR review effort by PR size#11

Merged
markphelps merged 3 commits into
mainfrom
pr-review-budget-timeouts
Jun 18, 2026
Merged

Budget PR review effort by PR size#11
markphelps merged 3 commits into
mainfrom
pr-review-budget-timeouts

Commits

Commits on Jun 10, 2026

Commits on Jun 18, 2026