GitHub

Développement

Gérez dépôts, PRs et code par conversation

• Listez, créez et fusionnez des pull requests
• Vérifiez le statut CI et relancez les workflows
• Accès direct à l'API GitHub avec jq

Ce que vous pouvez faire

Pull requests — Lister, afficher, créer, fusionner et vérifier le statut des revues

CI/workflows — Vérifier le statut de GitHub Actions, afficher les journaux, relancer les workflows échoués

Issues — Créer, fermer, commenter, étiqueter et lister les issues

Requêtes API — Accès direct à l'API GitHub avec filtrage jq pour toutes les données

Infos du dépôt — Lister les dépôts, versions, collaborateurs, étoiles, forks

Sortie JSON — Toutes les commandes prennent en charge le JSON structuré avec filtrage jq

Essayez de demander

"Afficher tous les PRs ouverts dans ce dépôt"

"Vérifier le statut CI pour le PR #456"

"Relancer les workflows échoués sur main"

"Créer une issue pour le bug de délai de connexion"

"Lister toutes les versions de ce dépôt"

"Interroger l'API GitHub pour les statistiques des contributeurs"

"Me montrer la préparation à la fusion pour le dernier PR"

Conseils Pro

Sortie JSON + filtrage jq permet des flux de travail d'automatisation puissants

Relancez les workflows échoués sans pousser de commits vides

Les requêtes API débloquent toutes les données GitHub non exposées par les commandes standard