GitHub et Discord

Faites remonter les résultats de build d’un dépôt GitHub dans une discussion d’Agora, et laissez un agent répondre à /ask sur votre serveur Discord.

Pour les propriétaires et les adminsConnectez vos outils · page 6 sur 35

GitHub et Discord sont des connexions de l’espace de travail : un admin les configure une fois, pour tout le monde. Avec GitHub CI, les résultats de build d’un dépôt arrivent dans la discussion d’Agora qui s’y intéresse. Avec Discord, un agent répond à /ask là où votre équipe discute déjà. Cette page aide les admins à configurer les deux, et montre aux membres ce qu’ils verront.

Avant de commencer

Vous devez être admin pour configurer GitHub CI et Discord.
Ouvrez Gouvernance › Paramètres › Intégrations et faites défiler jusqu’à la bande Espace de travail, marquée Administrateurs uniquement · partagé par tout l’espace de travail. Les membres ne voient pas cette bande.
Discord est inclus dans toutes les offres, y compris l’offre Gratuit.

Paramètres › Intégrations vu par Tom Becker, admin, avec la bande Espace de travail affichée, Discord et GitHub CI, et « Administrateurs uniquement · partagé par tout l’espace de travail » mis en évidence. — 01Les connexions de l’espace de travail se configurent une fois, pour tout le monde.

Liez un dépôt GitHub à une discussion

Les résultats de build arrivent sous forme de courtes notes d’état publiées par Gitta the Hub : démarré, réussi ou échoué. Il faut deux étapes : un webhook sur GitHub, qui prévient Nexa Agora quand une exécution a lieu, et une liaison ici.

Dans la bande Espace de travail, repérez GitHub CI et cliquez sur Lier un dépôt.
Cliquez sur Créer le secret.
L’encadré Votre secret de webhook — affiché une seule fois apparaît. Cliquez sur Copier.
Sur GitHub, ouvrez les paramètres du dépôt, puis Webhooks › Add webhook. Collez l’adresse affichée par la page et le secret, choisissez le type de contenu application/json et l’événement Workflow runs, puis enregistrez.
De retour sur la page, saisissez le Dépôt sous la forme propriétaire/nom, par exemple harbor-pine/oceanic-site.
Choisissez la Discussion, par exemple #client-oceanic.
Facultatif : cochez Signaler aussi les Check runs. Les Workflow runs sont toujours signalés.
Cliquez sur Lier.
La page indique Lié. La prochaine exécution sera signalée dans « … ».

Le formulaire Lier un dépôt avec l’encadré « Votre secret de webhook — affiché une seule fois », le dépôt harbor-pine/oceanic-site et la discussion #client-oceanic. — 02Collez le secret sur GitHub avant de quitter la page.

Gérez une liaison

Chaque liaison indique propriétaire/nom → discussion, avec Signalement ou En pause. Des pastilles montrent ce qui est signalé : Workflow runs, Check runs si vous les avez choisis, et Secret défini.

Une ligne de dépôt lié, harbor-pine/oceanic-site → #client-oceanic, avec Signalement, Pause et Remplacer le secret. — 03Chaque liaison affiche son état et ce qu’elle signale.

Pause arrête le signalement. Reprendre le relance.
Remplacer le secret crée un nouveau secret. Mettez-le aussi à jour sur GitHub, sinon la prochaine exécution est refusée.
Supprimer cette liaison arrête le signalement des exécutions de ce dépôt. Confirmez avec Supprimer.

Consultez les résultats de build dans Agora

Ouvrez la discussion liée dans Agora.
Lisez les notes d’état de Gitta the Hub : chaque exécution arrive comme démarrée, réussie ou échouée.

Les agents de cette discussion voient chaque résultat dès son arrivée.

La discussion #client-oceanic dans Agora avec les notes de build de Gitta the Hub regroupées dans « Build · 2 / 2 passed ». — 04Les résultats de build arrivent dans la discussion sous forme de courtes notes.

Connectez votre serveur Discord

Dans la bande Espace de travail, ouvrez Discord et cliquez sur Ajouter à Discord.
Facultatif : saisissez un Titre de la carte, le nom que votre équipe donne au serveur.
Facultatif : saisissez un Nom du salon, le nom que les agents utilisent pour le canal que vous choisissez. Vide signifie « general ».
Cliquez sur Continuer sur Discord.
Sur Discord, choisissez votre serveur et le canal qui reçoit les annonces, puis autorisez le bot.
Discord y ajoute /ask et vous ramène.
De retour sur la page, vous voyez Connecté à Discord.

La carte Ajouter à Discord avec le Titre de la carte « Harbor & Pine » et le Nom du salon « general ». — 05Nommez le serveur et son salon d’annonces avant d’aller sur Discord.

Choisissez l’agent et qui peut poser des questions

Ouvrez les Paramètres du serveur.
Sous Agent qui répond à /ask, choisissez l’agent.
Sous Qui peut poser des questions, choisissez :
Tout le serveur.
Membres avec ces rôles
saisissez les ID des rôles Discord, séparés par des virgules. Dans Discord, ouvrez Paramètres du serveur › Rôles, faites un clic droit sur un rôle et choisissez Copier l’identifiant du rôle ; il faut que le mode développeur soit activé.
Seulement ces personnes
saisissez les ID d’utilisateur Discord, séparés par des virgules.
Réglez Questions par jour par membre et Questions par jour pour le serveur.
Cliquez sur Enregistrer.

Les réglages du serveur Discord avec Agent qui répond à /ask, Qui peut poser des questions sur Membres avec ces rôles, les deux chiffres quotidiens et Étagère pour Discord réglé sur l’étagère Studio. — 06Choisissez l’agent, qui peut poser des questions, les limites quotidiennes et ce que lit l’agent.

Les limites quotidiennes empêchent un serveur très actif de dépenser tous les crédits de l’espace de travail. La journée recommence à 00:00 UTC.

Choisissez ce que l’agent lit sur Discord

Dans les réglages du serveur, ouvrez Ce qu'il lit sur Discord, puis Étagère pour Discord.
Choisissez une étagère de la Bibliothèque, ou Uniquement le web.
La ligne confirme que l’agent ne répond sur Discord qu’à partir de cette étagère et du web.

Si la Bibliothèque n’a pas encore d’étagère, créez-en une dans la Bibliothèque et classez-y ce que Discord peut lire.

Ajoutez des salons d’annonces

Les agents peuvent publier des annonces dans les canaux Discord que vous ajoutez comme salons.

Sous Salons notifiés, cliquez sur Ajouter un salon.
Collez l’adresse de webhook du salon, tirée des paramètres du canal Discord › Intégrations. Elle est stockée chiffrée et n’est plus jamais affichée.
Cliquez sur Ajouter.
Cliquez sur Tester sur le salon.
Vous voyez Nous avons publié un message de test dans #…. ou Discord a refusé le message de test.

Salons notifiés avec un salon et la ligne de résultat de son message de test. — 07Testez chaque salon avant que quoi que ce soit de réel n’y arrive.

Pour retirer un salon, cliquez sur Retirer #….

Mettez en pause ou retirez un serveur Discord

Pause, sur la ligne du serveur, arrête les réponses. Reprendre les relance.
Retirer ce serveur empêche /ask d’y répondre et arrête les notifications de ses salons. Confirmez avec Retirer.

Posez une question sur Discord

Dans le serveur Discord, tapez /ask et votre question.
L’agent choisi répond là où vous avez demandé, avec la mention qu’il s’agit d’une IA, pour que tout le serveur sache qu’il parle à un agent.

Si vous n’y êtes pas autorisé, si vous avez épuisé les questions du jour ou si les crédits de l’espace de travail sont épuisés, vous seul voyez la réponse. Elle indique pourquoi, quand reposer la question et qui peut changer cela.

Ce que vous verrez

Bientôt disponible. GitHub n’est pas encore activé pour cet espace de travail. et Bientôt disponible. Discord n’est pas encore activé pour cet espace de travail.
Aucune liaison pour l’instant et Rien de connecté pour l’instant.
Créez d’abord le secret, puis collez-le sur GitHub., Écrivez le dépôt sous la forme propriétaire/nom., Impossible de lier le dépôt.
Aucun salon pour l’instant : les agents n’ont nulle part où publier d’annonces tant que vous n’en ajoutez pas.
… répond à tout le monde sur le serveur. ou Personne pour l’instant — ajoutez dans les réglages les ID des rôles qui peuvent poser des questions.
Jusqu’à … questions par jour par membre et … pour le serveur. Chaque question utilise les crédits du workspace.
Aucun canal n’a été choisi sur l’écran de Discord. Réessayez et choisissez le canal qui reçoit les annonces.
Un serveur déjà lié à un autre espace de travail renvoie cette erreur. Un serveur se lie à un seul espace de travail, le premier arrivé.

Bon à savoir

Gitta the Hub signale uniquement l’état des builds. Il ne lance pas d’exécutions. Un dépôt ne peut pas être lié à un projet.
Les limites quotidiennes par défaut sont de 20 questions par membre et de 150 pour tout le serveur. Un admin peut modifier les deux, ainsi que qui peut poser des questions, à tout moment.
Les réponses sur Discord sont payées par les crédits partagés de l’espace de travail, jamais par la licence de la personne qui a connecté le serveur.
Depuis Discord, l’agent ne lit que l’étagère choisie, qui contient des documents d’Équipe et jamais de courrier, ainsi que le web. Il ne lit jamais les documents privés, les mémoires, le courrier, le calendrier ou les projets de qui que ce soit, ni le Cerveau de l’entreprise.
L’agent ne peut rien créer, modifier ni supprimer depuis Discord. Si on lui en demande davantage, il le dit et renvoie vers l’application Nexa Agora. Sans étagère, il répond uniquement à partir du web et précise qu’un admin peut en choisir une.
Depuis /ask, l’agent ne publie rien dans d’autres canaux.
Les membres voient les résultats GitHub dans les discussions liées qu’ils peuvent ouvrir.

Salons de l’Agora — les discussions où arrivent les résultats GitHub.
Bibliothèque — les étagères, et l’étagère que lit Discord.
Boîtes aux lettres et calendriers — la bande Pour vous de la même page.
Facturation — les crédits de l’espace de travail qu’utilisent les réponses sur Discord.
Organisation — qui sont les admins.
Votre agent externe — une autre façon d’atteindre Nexa Agora depuis l’extérieur de l’application.

GitHub et Discord

Faites remonter les résultats de build d’un dépôt GitHub dans une discussion d’Agora, et laissez un agent répondre à /ask sur votre serveur Discord.

Pour les propriétaires et les adminsConnectez vos outils · page 6 sur 35

Avant de commencer

Vous devez être admin pour configurer GitHub CI et Discord.
Ouvrez Gouvernance › Paramètres › Intégrations et faites défiler jusqu’à la bande Espace de travail, marquée Administrateurs uniquement · partagé par tout l’espace de travail. Les membres ne voient pas cette bande.
Discord est inclus dans toutes les offres, y compris l’offre Gratuit.

Liez un dépôt GitHub à une discussion

Dans la bande Espace de travail, repérez GitHub CI et cliquez sur Lier un dépôt.
Cliquez sur Créer le secret.
L’encadré Votre secret de webhook — affiché une seule fois apparaît. Cliquez sur Copier.
Sur GitHub, ouvrez les paramètres du dépôt, puis Webhooks › Add webhook. Collez l’adresse affichée par la page et le secret, choisissez le type de contenu application/json et l’événement Workflow runs, puis enregistrez.
De retour sur la page, saisissez le Dépôt sous la forme propriétaire/nom, par exemple harbor-pine/oceanic-site.
Choisissez la Discussion, par exemple #client-oceanic.
Facultatif : cochez Signaler aussi les Check runs. Les Workflow runs sont toujours signalés.
Cliquez sur Lier.
La page indique Lié. La prochaine exécution sera signalée dans « … ».

Gérez une liaison

Pause arrête le signalement. Reprendre le relance.
Remplacer le secret crée un nouveau secret. Mettez-le aussi à jour sur GitHub, sinon la prochaine exécution est refusée.
Supprimer cette liaison arrête le signalement des exécutions de ce dépôt. Confirmez avec Supprimer.

Consultez les résultats de build dans Agora

Ouvrez la discussion liée dans Agora.
Lisez les notes d’état de Gitta the Hub : chaque exécution arrive comme démarrée, réussie ou échouée.

Les agents de cette discussion voient chaque résultat dès son arrivée.

Connectez votre serveur Discord

Dans la bande Espace de travail, ouvrez Discord et cliquez sur Ajouter à Discord.
Facultatif : saisissez un Titre de la carte, le nom que votre équipe donne au serveur.
Facultatif : saisissez un Nom du salon, le nom que les agents utilisent pour le canal que vous choisissez. Vide signifie « general ».
Cliquez sur Continuer sur Discord.
Sur Discord, choisissez votre serveur et le canal qui reçoit les annonces, puis autorisez le bot.
Discord y ajoute /ask et vous ramène.
De retour sur la page, vous voyez Connecté à Discord.

Choisissez l’agent et qui peut poser des questions

Ouvrez les Paramètres du serveur.
Sous Agent qui répond à /ask, choisissez l’agent.
Sous Qui peut poser des questions, choisissez :
Tout le serveur.
Membres avec ces rôles
saisissez les ID des rôles Discord, séparés par des virgules. Dans Discord, ouvrez Paramètres du serveur › Rôles, faites un clic droit sur un rôle et choisissez Copier l’identifiant du rôle ; il faut que le mode développeur soit activé.
Seulement ces personnes
saisissez les ID d’utilisateur Discord, séparés par des virgules.
Réglez Questions par jour par membre et Questions par jour pour le serveur.
Cliquez sur Enregistrer.

Les limites quotidiennes empêchent un serveur très actif de dépenser tous les crédits de l’espace de travail. La journée recommence à 00:00 UTC.

Choisissez ce que l’agent lit sur Discord

Dans les réglages du serveur, ouvrez Ce qu'il lit sur Discord, puis Étagère pour Discord.
Choisissez une étagère de la Bibliothèque, ou Uniquement le web.
La ligne confirme que l’agent ne répond sur Discord qu’à partir de cette étagère et du web.

Si la Bibliothèque n’a pas encore d’étagère, créez-en une dans la Bibliothèque et classez-y ce que Discord peut lire.

Ajoutez des salons d’annonces

Les agents peuvent publier des annonces dans les canaux Discord que vous ajoutez comme salons.

Sous Salons notifiés, cliquez sur Ajouter un salon.
Collez l’adresse de webhook du salon, tirée des paramètres du canal Discord › Intégrations. Elle est stockée chiffrée et n’est plus jamais affichée.
Cliquez sur Ajouter.
Cliquez sur Tester sur le salon.
Vous voyez Nous avons publié un message de test dans #…. ou Discord a refusé le message de test.

Pour retirer un salon, cliquez sur Retirer #….

Mettez en pause ou retirez un serveur Discord

Pause, sur la ligne du serveur, arrête les réponses. Reprendre les relance.
Retirer ce serveur empêche /ask d’y répondre et arrête les notifications de ses salons. Confirmez avec Retirer.

Posez une question sur Discord

Dans le serveur Discord, tapez /ask et votre question.
L’agent choisi répond là où vous avez demandé, avec la mention qu’il s’agit d’une IA, pour que tout le serveur sache qu’il parle à un agent.

Ce que vous verrez

Bientôt disponible. GitHub n’est pas encore activé pour cet espace de travail. et Bientôt disponible. Discord n’est pas encore activé pour cet espace de travail.
Aucune liaison pour l’instant et Rien de connecté pour l’instant.
Créez d’abord le secret, puis collez-le sur GitHub., Écrivez le dépôt sous la forme propriétaire/nom., Impossible de lier le dépôt.
Aucun salon pour l’instant : les agents n’ont nulle part où publier d’annonces tant que vous n’en ajoutez pas.
… répond à tout le monde sur le serveur. ou Personne pour l’instant — ajoutez dans les réglages les ID des rôles qui peuvent poser des questions.
Jusqu’à … questions par jour par membre et … pour le serveur. Chaque question utilise les crédits du workspace.
Aucun canal n’a été choisi sur l’écran de Discord. Réessayez et choisissez le canal qui reçoit les annonces.
Un serveur déjà lié à un autre espace de travail renvoie cette erreur. Un serveur se lie à un seul espace de travail, le premier arrivé.

Bon à savoir

Gitta the Hub signale uniquement l’état des builds. Il ne lance pas d’exécutions. Un dépôt ne peut pas être lié à un projet.
Les limites quotidiennes par défaut sont de 20 questions par membre et de 150 pour tout le serveur. Un admin peut modifier les deux, ainsi que qui peut poser des questions, à tout moment.
Les réponses sur Discord sont payées par les crédits partagés de l’espace de travail, jamais par la licence de la personne qui a connecté le serveur.
Depuis Discord, l’agent ne lit que l’étagère choisie, qui contient des documents d’Équipe et jamais de courrier, ainsi que le web. Il ne lit jamais les documents privés, les mémoires, le courrier, le calendrier ou les projets de qui que ce soit, ni le Cerveau de l’entreprise.
L’agent ne peut rien créer, modifier ni supprimer depuis Discord. Si on lui en demande davantage, il le dit et renvoie vers l’application Nexa Agora. Sans étagère, il répond uniquement à partir du web et précise qu’un admin peut en choisir une.
Depuis /ask, l’agent ne publie rien dans d’autres canaux.
Les membres voient les résultats GitHub dans les discussions liées qu’ils peuvent ouvrir.

Salons de l’Agora — les discussions où arrivent les résultats GitHub.
Bibliothèque — les étagères, et l’étagère que lit Discord.
Boîtes aux lettres et calendriers — la bande Pour vous de la même page.
Facturation — les crédits de l’espace de travail qu’utilisent les réponses sur Discord.
Organisation — qui sont les admins.
Votre agent externe — une autre façon d’atteindre Nexa Agora depuis l’extérieur de l’application.