Easily disable the GitHub MCP server

[Tiberriver256]

Describe the feature or problem you'd like to solve

Some way to easily disable the GitHub MCP server

Proposed solution

Maybe an environment variable or config setting?

Additional context

I use Azure DevOps so there's little use for the GitHub MCP and I want to preserve as much context as I can.

[Function-0]

+1. There are use cases where one would like extra context window size, to disable mcp server tools that won't be used.

[williammartin]

You can currently do copilot --disable-mcp-server github-mcp-server but we definitely need to get this into config for persistence.