Connexion à GitHub

Comment connecter votre compte

1. Ouvrez Paramètres → Connecteurs dans l'application tAI.
2. Cliquez sur Connecter en regard de GitHub.
3. Connectez-vous à votre compte GitHub, si ce n'est pas déjà fait.
4. Vérifiez les autorisations sur l'écran de consentement de GitHub.
5. Approuvez.

Cette étape accorde à tAI un accès général à votre compte GitHub. Elle n'associe pas de dépôt à une conversation en elle-même.

Associer un dépôt à une conversation

1. Dans le champ de composition du message, cliquez sur le bouton +, puis sur Connecteurs, puis sur GitHub.
2. Recherchez et sélectionnez le dépôt avec lequel travailler.
3. Vérifiez l'avertissement affiché avant de confirmer.

Le dépôt est alors préparé comme contexte pour votre prochain message. Un seul dépôt peut être actif par conversation ; en choisir un autre remplace celui qui était associé auparavant.

À savoir

• Une fois un dépôt associé, tAI en clone une copie de travail dans le sandbox propre à cette conversation, et y modifie les fichiers avec ses outils de fichiers habituels plutôt qu'avec un appel API par fichier.
• Les fichiers très volumineux et les dépôts dépassant le nombre maximal de fichiers ne sont pas inclus dans le clone. github_read_file et github_search_code permettent tout de même d'accéder à ce que le clone n'a pas repris. Voir Limites.
• La connexion au niveau du compte est indépendante de la connexion à tAI elle-même. Déconnecter GitHub ne vous déconnecte pas de tAI.

Déconnexion

1. Ouvrez Paramètres → Connecteurs.
2. Repérez GitHub et cliquez sur Déconnecter.

Les commits et les pull requests déjà poussés restent dans votre dépôt tels quels. La déconnexion ne les annule ni ne les supprime.