Ability to define which tools are available for included GitHub-MCP-Server

[owenniblock]

Describe the feature or problem you'd like to solve

I want to use the copilot-cli for reporting and updating projects

Proposed solution

We could leverage the existing --allow-tool parameters to enable different MCP Tools in the GitHub MCP Server when the CLI is started.

e.g.

$ copilot --allow-tool 'github-mcp-server(list_projects)'

As a workaround, right now I'm adding an additional MCP Server for projects tools:

{
  "mcpServers": {
    "GitHub-Project-MCP": {
      "type": "http",
      "url": "https://api.githubcopilot.com/mcp/x/projects",
      "headers": {
        "Authorization": "Bearer token"
      },
      "tools": [
        "*"
      ]
    }
  }
}

Example prompts or workflows

No response

Additional context

No response