Cannot use GitHub MCP server
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
Thanks for the report! We're looking into this!
In interactive mode, I can run /mcp add and use the MCP without issue. However, after using only copilot -p one for that MCP, I cannot use it. I will post a discussion to determine whether this is a known gap or user error. https://github.com/github/copilot-cli/discussions/651