Parcourir les problèmes, les pull requests et les gists de CLI GitHub Copilot

Par défaut, les sessions interactives Copilot pour CLI pour les référentiels Git ont quatre onglets en haut de l’écran :

• Session : expérience de chat standard dans laquelle vous saisissez des requêtes pour Copilot.
• Problèmes : Ouvrez des problèmes dans le référentiel actuel sur GitHub.
• Pull requests : ouvrir les pull requests du dépôt actuel sur GitHub.
• Gists : Vos gistes sur GitHub.

Les onglets Issues, Pull requests et Gists vous permettent de consulter le contenu de GitHub.com sans avoir à passer à un navigateur. Cela est utile lorsque vous souhaitez :

• Trouvez un problème ou une pull request sur lequel travailler.
• Extrayez un élément dans votre conversation : insérez rapidement une référence à l’élément sélectionné dans la zone d’invite afin que vous puissiez demander Copilot d’examiner, de corriger, de commenter ou de le consulter.
• Aller à un élément dans GitHub.com — par exemple lorsque vous souhaitez commenter un ticket, fusionner une pull request ou modifier un gist.

Passer d’un onglet à l’autre

• Appuyez sur Tab pour accéder à l’onglet suivant.
• Appuyez sur Maj+Tab pour accéder à l’onglet précédent.
• Utilisez la souris pour cliquer sur un onglet pour basculer vers celui-ci.

Le changement d’onglet est suspendu lorsqu’une autre partie du CLI — comme le sélecteur de commandes slash — détecte vos frappes.

Contrôles clavier courants

Les onglets Problèmes, Demandes de tirage et Gists utilisent tous les mêmes contrôles. Quel que soit l’onglet parmi ceux-ci sur lequel vous vous trouvez :

• Utilisez les touches de direction haut et bas pour mettre en surbrillance un élément dans la liste.
• Utilisez les touches de direction gauche et droite pour naviguer entre les pages d’une liste.
• Appuyez sur Entrée pour afficher une vue détaillée de l’élément mis en surbrillance. Appuyez sur Échap dans la vue détaillée pour revenir à la liste.
• Appuyez sur o pour ouvrir l’élément mis en surbrillance (ou, dans l’affichage détaillé, l’élément actif) sur GitHub.com.
• Appuyez sur c pour insérer une référence à l’élément dans la zone de saisie du prompt et revenir ensuite à l’onglet Session.
• Appuyez sur / (dans les onglets Issues et Pull requests) pour rechercher GitHub à l’aide d’une requête personnalisée. Tapez une requête, appuyez sur Entrée pour l’exécuter, puis échap pour annuler ou effacer celle-ci.

Pour obtenir l’ensemble complet de touches que vous pouvez utiliser, consultez la référence clavier à la fin de cet article.

Problèmes de navigation

L’onglet Problèmes répertorie les problèmes ouverts dans le référentiel actuel qui vous impliquent : les problèmes que vous avez créés, qui ont été attribués, qui ont été mentionnés ou qui ont été commentés. Chaque ligne affiche le titre du problème, le numéro de problème, l’auteur et combien de temps le problème a été ouvert.

La GitHub requête de recherche utilisée pour remplir la liste s’affiche au-dessus de celle-ci. Appuyez sur a pour basculer entre l’affichage des seuls problèmes qui vous concernent et l’affichage de tous les problèmes ouverts dans le dépôt.

Appuyez sur c pour insérer une référence au problème dans la zone d’invite de l’onglet Session . Vous pouvez ensuite entrer une invite qui concerne ce problème. Par exemple:

#1234 suggest a fix for this bug

Parcourir les pull requests

L’onglet Demandes de tirage (pull requests ) répertorie les demandes de tirage ouvertes dans le référentiel actuel qui vous impliquent : les demandes de tirage que vous avez créées, ont été affectées, ont été mentionnées, ont été invitées à passer en revue ou à commenter. Chaque ligne affiche le titre de la demande de tirage, le numéro, l’auteur et la durée d’ouverture de la demande de tirage.

La GitHub requête de recherche utilisée pour remplir la liste s’affiche au-dessus de celle-ci. Appuyez sur a pour basculer entre l’affichage des seules pull requests vous concernant et l’affichage de toutes les pull requests ouvertes du dépôt.

Appuyez sur c pour insérer une référence à la demande de tirage dans la zone d’invite sous l’onglet Session . Vous pouvez ensuite entrer une invite qui concerne cette demande de tirage. Par exemple:

#5678 check this out and run tests

Recherche de problèmes et de demandes de tirage

Par défaut, les onglets Problèmes et pull requests affichent les éléments vous concernant. Appuyez sur a pour basculer entre ceci (involves:@me) et tous les éléments ouverts.

Pour exécuter votre propre recherche, appuyez /sur . Une zone de recherche inline s’ouvre dans laquelle vous pouvez taper une GitHub requête de recherche, puis appuyez sur Entrée pour l’exécuter.

Appuyez sur Échap pour annuler lors de la saisie, ou pour effacer une recherche appliquée et revenir à la liste par défaut.

Vous pouvez utiliser le même ensemble de qualificateurs de recherche disponibles sur GitHub.com. Consultez « Recherche de problèmes et de demandes de tirage ».

Parcourir vos Gists

L’onglet Gists répertorie les gists appartenant au GitHub compte auquel vous êtes connecté. Les gistes publics et secrets sont montrés. Contrairement aux onglets Problèmes et demandes d’extraction , l’onglet Gists n’est pas limité à un référentiel , il est toujours disponible, quel que soit l’emplacement où vous avez démarré l’interface CLI.

Appuyez sur c pour insérer l’URL du gist dans la zone d’invite sous l’onglet Session . Vous pouvez ensuite entrer une invite qui se rapporte à ce gist. Par exemple:

https://gist.github.com/USERNAME/GIST-ID summarize this

Modification des issues, des pull requests et des gists

Les onglets Problèmes, Demandes de tirage et Gists sont des environnements en lecture seule. Il existe deux façons de travailler sur un élément que vous trouvez dans l’un des onglets suivants :

• Appuyez sur o pour l’ouvrir sur GitHub.com et utiliser l’interface utilisateur web pour modifier l’élément.

• Appuyez sur c pour déposer une référence dans la zone d’invite et demander Copilot d’effectuer l’activité pour vous. Par exemple:

  #1234 add a comment: "Any update on this?"
  

  #5678 merge this
  

  https://gist.github.com/USERNAME/GIST-ID delete this
  

Personnaliser les onglets

Vous pouvez réorganiser, masquer ou désactiver les onglets dans votre fichier de paramètres (~/.copilot/settings.json) à l’aide de l’objet tabs :

{
    "tabs": {
        "enabled": true,
        "sort": ["copilot", "pull-requests", "issues", "gists"],
        "hide": ["gists"]
    }
}

{
    "tabs": {
        "enabled": true,
        "sort": ["copilot", "pull-requests", "issues", "gists"],
        "hide": ["gists"]
    }
}

• enabled: définir sur false pour désactiver entièrement l’interface à onglets.
• sort: ordre dans lequel les onglets s’affichent. Utilisez les identificateurs copilot (onglet Session ), issues, pull-requestset gists. Tous les onglets que vous omettez conservent leur ordre par défaut après ceux que vous indiquez. Les identificateurs inconnus sont ignorés.
• hide: onglets à masquer, à l’aide des mêmes identificateurs. L’onglet Session (copilot) ne peut pas être masqué.

Informations de référence sur le clavier

La barre d’indicateurs du pied de page dans les onglets Problèmes, Demandes de tirage et Gists récapitule les clés disponibles :