Copilot: make MCP CLI prompt list reflect actual mounted servers under `--disable-builtin-mcps`#46778

Merged

pelikhan merged 8 commits into

mainfrom

copilot/fix-mcp-clis-github-access

Jul 20, 2026

Commits on Jul 20, 2026

Initial plan
Copilot
authored
fix: advertise copilot-mounted MCP CLI servers in prompt list

Copilot
and
pelikhan
authored
refactor: use exact copilot engine id check for MCP CLI augmentation

Copilot
and
pelikhan
authored
Initial plan: fix CLIProxy activation condition in getMCPCLIServerNames

Copilot
and
pelikhan
authored
fix: use CLIProxy in activation condition for Copilot MCP CLI augmentation

Copilot
and
pelikhan
authored
Merge branch 'main' into copilot/fix-mcp-clis-github-access
github-actions[bot]
authored
fix: add GitHubMCPServerID constant, extract shared helper, improve test assertions

Copilot
and
gh-aw-bot
authored
docs: improve comments for GitHubMCPServerID and appendCustomMCPServerIfEligible

Copilot
and
gh-aw-bot
authored