fix: update GitHub MCP server tool name for PR review comments#363
Merged
ashwin-ant merged 1 commit intoanthropics:mainfrom Jul 30, 2025
Merged
fix: update GitHub MCP server tool name for PR review comments#363ashwin-ant merged 1 commit intoanthropics:mainfrom
ashwin-ant merged 1 commit intoanthropics:mainfrom