Skip to content

fix(server): pull request tools point a bare thread uuid at its mcp: thread - #30375

Merged
maria-rcks merged 2 commits into
pingdotgg:mainfrom
spoukyii:users/spoukyii/pr-tools-mcp-thread-hint
Nov 6, 2026
Merged

fix(server): pull request tools point a bare thread uuid at its mcp: thread#30375
maria-rcks merged 2 commits into
pingdotgg:mainfrom
spoukyii:users/spoukyii/pr-tools-mcp-thread-hint

fix(server): pull request tools point a bare thread uuid at its mcp: …

d5a3bca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Collect PR targets
succeeded Nov 3, 2026 in 5s