Skip to content

fix(review): auto-pause count excluded the PR's own current head, so it never paused - #4319

Merged
JSONbored merged 1 commit into
mainfrom
fix/auto-pause-current-head-count
Jul 8, 2026
Merged

fix(review): auto-pause count excluded the PR's own current head, so it never paused#4319
JSONbored merged 1 commit into
mainfrom
fix/auto-pause-current-head-count

Commits

Commits on Jul 8, 2026