Repository navigation

perf(server): turns no longer re-read merged PRs from GitHub - #19344

Merged

t3dotgg merged 1 commit into

mainfrom

Oct 14, 2026

Merged

perf(server): turns no longer re-read merged PRs from GitHub#19344
t3dotgg merged 1 commit into
mainfrom
t3/fix-13496

Commits on Oct 14, 2026
- perf(server): turns no longer re-read merged pull requests from the host
  
  t3dotgg
  and
  claude
  committed
  20a5966