Repository navigation

fix(web): pull request panel polls go around the server hold - #9829

Closed

lnieuwenhuis wants to merge 12 commits into

pingdotgg:mainfrom

lnieuwenhuis:fix/pr-panel-poll-invalidate

Commits on Sep 4, 2026
- fix(web): pull request panel polls go around the server's hold
  lnieuwenhuis
  committed
  d878b13
- fix(pr): poll invalidates detail only so the diff keeps stale-while-revalidate
  lnieuwenhuis
  committed
  103ffcd
Commits on Sep 6, 2026
- fix(pr): refresh changed revisions after cache invalidation
  lnieuwenhuis
  committed
  a8b048a
- fix(pr): retain diff revision across metadata invalidation
  lnieuwenhuis
  committed
  7009083
Commits on Sep 9, 2026
Commits on Sep 10, 2026
- fix(web): preserve PR refresh ordering after upstream sync
  lnieuwenhuis
  committed
  85a4cf9
- fix(web): report failed manual PR refreshes
  lnieuwenhuis
  committed
  c201683
Commits on Sep 12, 2026
- fix(web): reconcile PR refresh hook with current panel
  lnieuwenhuis
  committed
  9c39873
- fix(web): ignore superseded pull request refreshes
  lnieuwenhuis
  committed
  927d965