Repository navigation

fix(server): PR sync reads share GitHub requests again on busy servers - #28422

Merged

juliusmarminge merged 8 commits into

pingdotgg:mainfrom

only21mil:fix/pr-batch-starvation

Nov 12, 2026

Merged

fix(server): PR sync reads share GitHub requests again on busy servers#28422
juliusmarminge merged 8 commits into
pingdotgg:mainfrom
only21mil:fix/pr-batch-starvation

Commits on Oct 31, 2026
- fix(server): PR sync reads batch again on a busy server
  
  only21mil
  and
  claude
  committed
  64759ec
Commits on Nov 1, 2026
- fix(server): PR sync keeps hosts without batched reads at the old width
  
  only21mil
  and
  claude
  committed
  4c7e6cb
- test(server): gate the PR sync width test instead of sleeping
  
  only21mil
  and
  claude
  committed
  d3d91b3
- fix(server): resolve each host's batching beside the others
  
  only21mil
  and
  claude
  committed
  42d34b9
- fix(server): PR sync checks each group's due state when its read can start
  
  only21mil
  and
  claude
  committed
  30d132a
- fix(server): PR sync judges a group due once it holds a shared slot
  
  only21mil
  and
  claude
  committed
  a79ca62
Commits on Nov 10, 2026
- Merge branch 'main' into fix/pr-batch-starvation
  only21mil
  committed
  fb6031e
Commits on Nov 12, 2026
- Merge remote-tracking branch 'origin/main' into fix/pr-batch-starvation
  juliusmarminge
  committed
  6b45fc9