github / github/copilot-cli

Unactionable message when github-mcp-server is disable in Azure Dev Ops repository

Aberta
#1,505 2 comentários 0 reações 0 responsáveis Ver no GitHub
area:mcp
Linguagem predominante
Shell
Estrelas
11.2k
Forks
1.9k
Merge médio
14h 16min
PRs com merge (30d)
6

Descrição

### Describe the bug

We made changes to the CLI so that when you run it from inside a repository that is connected to an Azure DevOps remote we don't enable the built in GitHub MCP Server and instead print this message to the timeline:

● Detected Azure DevOps repository. GitHub MCP server has been disabled. Use /mcp enable github-mcp-server to re-enable.

However, if you run `/mcp enable github-mcp-server`, this doesn't actually work:

✗ Server "github-mcp-server" not found. Use /mcp to open the MCP server list.

### Affected version

v0.0.411

### Steps to reproduce the behavior

1. Start copilot in a repository with an AzDo remote so the above message triggers.
2. Run /mcp enable github-mcp-server

### Expected behavior

The server should be enabled, instead of an error being printed.

### Additional context

_No response_

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.