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

ce7cfc75e5Julius Marminge committed on 10/19/2026, 7:48:59 PMparent5c86d98
2 files changedLine totals unavailable