perf(server): the Pull Requests page no longer burns GitHub's GraphQL budget while agents run#20093

Merge remote-tracking branch 'origin/main' into t3code/pr-list-quota

docs(server): correct the pull request coverage query comment

fix(server): an empty repository keeps its pull request fallback until search finds it

fix(server): global pull request pages split across environments coalesce turn refreshes

Merge remote-tracking branch 'origin/main' into t3code/pr-list-quota

test(server): takeover tests for pull request list quota

fix(web): enable editor shortcut in thread details fixture

Merge remote-tracking branch 'origin/main' into t3code/pr-list-quota

fix(server): propagate whole search coverage failures

test(server): propagate whole search coverage query failures

fix(server): retry failed pull request coverage probes

test(server): cover recovery after coverage probe failures

fix(server): refresh pull request listings immediately after pushes

test(server): cover push refresh during turn coalescing

Merge remote-tracking branch 'origin/main' into t3code/pr-list-quota

fix(server): bound pull request listing refresh work

test(server): tighten pull request quota regression coverage

chore: merge main into pull request quota fix

fix(server): review follow-ups for the Pull Requests page quota fix

perf(server): the Pull Requests page no longer burns GitHub's GraphQL budget while agents run