Repository navigation

fix(web): speed up PR previews with fewer GitHub requests - #11825

Merged

juliusmarminge merged 13 commits into

pingdotgg:mainfrom

d5cr:dominic/faster-pr-previews

Sep 18, 2026

Commits on Sep 15, 2026
Commits on Sep 16, 2026
- Merge branch 'pingdotgg:main' into dominic/faster-pr-previews
  dominic-r
  authored
  15b5030
Commits on Sep 17, 2026
- fix: resolve PR preview conflicts with main
  dominic-r
  committed
  dd50c1b
- Merge branch 'pingdotgg:main' into dominic/faster-pr-previews
  dominic-r
  authored
  57b18fd
Commits on Sep 18, 2026
- Merge branch 'main' into dominic/faster-pr-previews
  juliusmarminge
  authored
  80945bb
- fix(web): reduce GitHub requests for PR previews
  dominic-r
  committed
  66c7fc4
- chore: register the PR preview measurement script
  dominic-r
  committed
  854d10e
- fix(server): keep preview cost measurements on the same GitHub host
  dominic-r
  committed
  5fbc595
- Merge branch 'main' into dominic/faster-pr-previews
  dominic-r
  authored
  e5ef409
- perf(server): combine PR permissions and merge settings
  dominic-r
  committed
  d8b9541
- perf(web): reuse optimized PR detail for hover and opening
  dominic-r
  committed
  f4d4be8