Skip to content

fix(server): watched PRs tell the agent when they merge - #33201

Closed
soorria wants to merge 1 commit into
pingdotgg:mainfrom
soorria:fix/pr-watch-merge-wake
Closed

fix(server): watched PRs tell the agent when they merge#33201
soorria wants to merge 1 commit into
pingdotgg:mainfrom
soorria:fix/pr-watch-merge-wake

Commits

  1. Commits on Nov 9, 2026