Default github mcp server toolset not included by default
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Shell
- Estrellas
- 11.2k
- Forks
- 1.9k
- Merge medio
- 14 h 16 min
- PR fusionados (30 d)
- 6
Descripción
Describe the bug
The github mcp server has a default toolset called 'default', however, it does not seem to be enabled by default.
Affected version
GitHub Copilot CLI 1.0.79
Steps to reproduce the behavior
Open copilot cli
use /mcp show on the built-in github mcp server
See it is missing permissions
Expected behavior
I expect the above list to be same as the list when using the default mcp server toolset
Additional context
No response
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Comienza con el servidor MCP integrado de GitHub y ejecuta /mcp show para comparar su lista de herramientas con el conjunto de herramientas predeterminado del servidor MCP. Rastrea dónde se selecciona el conjunto de herramientas predeterminado del servidor integrado; se considera terminado cuando los permisos predeterminados esperados aparecen en /mcp show para GitHub MCP sin configuración adicional.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- github, shell
- Área
- cli, tooling
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Tranquilo
- Claridad
- Bastante claro
- Aptitud para principiantes
- 55/100