Recevoir les notifications GitHub
Astrolabe te parle de GitHub dans la cloche en haut à droite : un workflow qui échoue, une pull request à relire. Tu choisis les événements.
Avant de commencer
Ton administrateur a configuré le webhook GitHub (voir plus bas).
🔔 Choisir tes événements GitHub
-
En haut à droite, clique sur ton avatar, puis sur Mon compte.
-
Ouvre l'onglet Notifications.
-
Dans la carte Que voulez-vous recevoir ?, trouve la section GitHub. Chaque événement a deux interrupteurs : Dans Astrolabe (la cloche) et Sur ce navigateur :
Événement Quand un workflow échoue Marqué CRITIQUE Quand une PR est ouverte Quand une PR est fermée Quand une PR est modifiée Quand une relecture de PR est demandée Quand une PR est approuvée Quand des changements sont demandés sur une PR Quand une PR est relue avec des commentaires Quand un workflow est annulé -
Éteins ou allume un événement. C'est enregistré tout de suite.
Pour la colonne du navigateur, voir Choisir tes notifications.
✅ C'est tout !
🔗 Pour l'administrateur : configurer le webhook
GitHub envoie ses événements à Astrolabe par un webhook.
-
Dans la barre latérale à gauche, en bas, clique sur Administration.
-
Sous PLATEFORME, clique sur Connexions de l'entreprise, puis ouvre l'onglet Webhooks.
-
Sur la carte GitHub, clique sur Configurer.
-
Dans la fenêtre, à côté de Adresse du webhook, clique sur Copier l'adresse. Le bouton dit Copié.
-
Dans Secret du webhook, saisis un secret de ton choix, puis clique sur Enregistrer.
-
Dans ton dépôt GitHub, ajoute un webhook : colle l'adresse comme URL, et utilise le même secret. Cette étape n'a pas été vérifiée sur une instance, ni l'arrivée des notifications.