Repository navigation

feat(server): add optional quiet deadline to PR watches - #26839

Closed

lastobelus wants to merge 5 commits into

pingdotgg:mainfrom

lastobelus:fix/pr-watch-deadline

Closed

feat(server): add optional quiet deadline to PR watches#26839
lastobelus wants to merge 5 commits into
pingdotgg:mainfrom
lastobelus:fix/pr-watch-deadline

Commits on Oct 29, 2026
- feat(server): support opt-in PR watch quiet deadlines
  lastobelus
  committed
  f8fe6ed
- fix(server): preserve explicit quiet-watch policy changes
  lastobelus
  committed
  71953c1
- test(server): compile quiet-wait validator once
  lastobelus
  committed
  42376b1
- test(server): compare quiet-watch timestamps by value
  lastobelus
  committed
  bc74741
- test(server): record quiet-watch tool context budget
  lastobelus
  committed
  e9ca0c7