Clarify built-in MCP servers in Copilot CLI reference#43372
Clarify built-in MCP servers in Copilot CLI reference#43372aosama wants to merge 1 commit intogithub:mainfrom
Conversation
How to review these changes 👓Thank you for your contribution. To review these changes, choose one of the following options: A Hubber will need to deploy your changes internally to review. Table of review linksNote: Please update the URL for your staging server or codespace. The table shows the files in the
Key: fpt: Free, Pro, Team; ghec: GitHub Enterprise Cloud; ghes: GitHub Enterprise Server 🤖 This comment is automatically generated. |
There was a problem hiding this comment.
Pull request overview
This pull request resolves an internal inconsistency in the Copilot CLI command reference by aligning the “Built-in MCP servers” table with the documented behavior of --disable-builtin-mcps, which states the only current built-in MCP server is github-mcp-server.
Changes:
- Removed
playwrightfrom the Built-in MCP servers table. - Removed
fetchfrom the Built-in MCP servers table. - Removed
timefrom the Built-in MCP servers table.
You can also share your feedback on Copilot code review. Take the survey.
GitHub Copilot generated this pull request.
fixes #43371
Summary
This pull request updates the Copilot CLI command reference to make the Built-in MCP servers section consistent with the documented behavior of the
--disable-builtin-mcpsoption on the same page.Before this change, the page said two conflicting things:
github-mcp-server,playwright,fetch, andtime.--disable-builtin-mcpsoption said the built-in MCP servers are currentlygithub-mcp-server.This change resolves that inconsistency by keeping only
github-mcp-serverin the Built-in MCP servers table.What changed
playwrightfrom the Built-in MCP servers table.fetchfrom the Built-in MCP servers table.timefrom the Built-in MCP servers table.Why
The safest documentation change here is to align the table with the more specific option text that already says the current built-in MCP server set is
github-mcp-server.Local verification also supported treating at least some of the removed entries as not built in in this environment:
Browser automation is unavailable.Time tools are unavailable.Given that evidence, keeping only
github-mcp-serveris the most conservative fix and removes the page's internal contradiction without making broader product claims.Prompt summary - submitted by @aosama