Describe the bug
The documentation states that the tool ships with the GitHub MCP server. However, it does not seem to be the case. Tested on Windows and Debian.
Almost identical example from the docs :

Trying to list MCP servers, it comes up empty

Affected version
0.0.327
Steps to reproduce the behavior
Run copilot -p "Use the GitHub MCP server to list my open PRs" --allow-all-tools
Or use the command /mcp show in interactive mode.
Expected behavior
The tool should use the MCP, which allows it to do much more things than the gh cli, which it falls back to.
Additional context
No response
Describe the bug
The documentation states that the tool ships with the GitHub MCP server. However, it does not seem to be the case. Tested on Windows and Debian.
Almost identical example from the docs :

Trying to list MCP servers, it comes up empty

Affected version
0.0.327
Steps to reproduce the behavior
Run
copilot -p "Use the GitHub MCP server to list my open PRs" --allow-all-toolsOr use the command
/mcp showin interactive mode.Expected behavior
The tool should use the MCP, which allows it to do much more things than the gh cli, which it falls back to.
Additional context
No response