Qu'est-ce que github-pull-request ?
Créez des demandes d'extraction sur GitHub à l'aide de GitHub MCP, GitHub CLI (gh) ou de l'API REST GitHub. Utilisez cette compétence lorsque l'utilisateur souhaite soumettre des modifications sous forme de demande d'extraction, en suivant les normes et modèles de référentiel. Source : prulloac/agent-skills.