Skip to content

fix(server): GitHub PR lookups stop probing owner-qualified heads - #13200

Merged
juliusmarminge merged 2 commits into
batch-pr-sync-summariesfrom
github-head-selector-probes
Sep 23, 2026
Merged

fix(server): GitHub PR lookups stop probing owner-qualified heads#13200
juliusmarminge merged 2 commits into
batch-pr-sync-summariesfrom
github-head-selector-probes

fix(server): GitHub head lookups read a full page of same-named branches

36211c8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar