Default github mcp server toolset not included by default
Personne n'a encore pris cette issue.
- Langage dominant
- Shell
- Étoiles
- 11.2k
- Forks
- 1.9k
- Merge moyen
- 14 h 16 min
- PR mergées (30 j)
- 6
Description
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
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Commencez par le serveur MCP GitHub intégré et exécutez /mcp show pour comparer sa liste d’outils avec l’ensemble d’outils par défaut du serveur MCP. Suivez l’endroit où l’ensemble d’outils par défaut du serveur intégré est sélectionné ; c’est terminé lorsque les autorisations par défaut attendues apparaissent dans /mcp show pour GitHub MCP sans configuration supplémentaire.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- github, shell
- Domaine
- cli, tooling
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- Calme
- Clarté
- Plutôt claire
- Accessibilité débutants
- 55/100