Configure GitHub MCP defaults: read-only=true, toolset=default, wildcard tools#2041

Merged

pelikhan merged 8 commits intomainfrom

copilot/configure-github-mcp-default-toolset

Oct 20, 2025

Commits on Oct 20, 2025

Initial plan
Copilot
committed
Update GitHub MCP defaults: read-only=true, toolset=default

Copilot
and
pelikhan
committed
Remove default GitHub tools list - use wildcard instead

Copilot
and
pelikhan
committed
Add --allow-tool github when no tools specified for Copilot

Copilot
and
pelikhan
committed
Update dev.md to test GitHub MCP tools with Copilot

Copilot
and
pelikhan
committed
Update dev.md to dynamically explore all GitHub MCP tools

Copilot
and
pelikhan
committed
Merge branch 'main' into copilot/configure-github-mcp-default-toolset
pelikhan
authored
fix: Update agent output path and enhance error patterns for better logging
pelikhan
committed