Diavi

Centre d'aide · Démarrer

Comment connecter mon dépôt GitLab ou GitHub à Diavi ?

Se connecter avec sa forge, donner à l'espace son accès aux dépôts, et choisir le dépôt sur lequel Diavi travaillera.

Cliquez sur Continuer avec GitLab ou Continuer avec GitHub : votre forge prouve qui vous êtes, sans mot de passe à créer. L'accès aux dépôts, lui, passe par le jeton de l'espace, que le propriétaire installe une fois ; chaque membre travaille ensuite avec lui, sans fournir le sien.

Comment se connecter ?

Quels droits le jeton de l'espace doit-il avoir ?

Le minimum pour lire une issue, cloner le dépôt et ouvrir une merge request.

Il s'installe dans Préférences → Forge. Il est validé contre votre forge avant d'être enregistré : s'il est expiré ou mal scopé, vous le savez tout de suite plutôt qu'au premier run échoué.

Personne ne peut relire le jeton ?

Non, et c'est délibéré. Il est chiffré en base et aucune interface ne le réaffiche — ni la vôtre, ni la console de Diavi. Si vous le perdez, vous en générez un nouveau depuis votre forge et vous le remplacez ; il n'y a pas de récupération, seulement un remplacement. Diavi vous prévient quand il approche de l'âge que vous avez fixé, et dès que la forge le refuse.

Et si la personne qui a posé le jeton s'en va ?

Avec un jeton personnel, l'espace dépend de cette personne : si elle quitte l'équipe ou si son jeton expire, les runs s'arrêtent. Sur GitLab, posez plutôt un jeton d'accès de groupe (ou de projet) : il agit au nom d'un bot qui n'appartient à personne, et Diavi le reconnaît tout seul — l'écran affiche « Jeton du bot ». Sur GitHub, installez l'application Diavi sur votre organisation depuis Préférences → Forge, quand elle est proposée : son jeton se renouvelle seul. Les connexions des membres ne remplacent jamais ni l'un ni l'autre.

Et ensuite ?

Une fois connecté, Diavi voit les projets auxquels le jeton de l'espace donne accès. Vous choisissez celui sur lequel lancer un run au moment du lancement — rien n'est verrouillé sur un seul dépôt.