Skip to content

Remove non-existent tools from GitHub MCP toolsets mapping#13169

Merged
pelikhan merged 2 commits into
mainfrom
copilot/remove-non-existent-tools
Feb 1, 2026
Merged

Remove non-existent tools from GitHub MCP toolsets mapping#13169
pelikhan merged 2 commits into
mainfrom
copilot/remove-non-existent-tools

Remove non-existent tools from GitHub MCP toolsets mapping

5d8e075
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar