Agency Docs

GitHub

Commits, pull requests, issues, releases et GitHub Actions dans ton Discord, instantanément et avec des filtres par événement et par branche.

À quoi ça sert ?

Amène vos dépôts GitHub dans Discord : commits, pull requests, issues, releases, revues, workflows et plus encore, sous forme de messages clairs avec des liens.

Configurez-le en 3 étapes

  1. 01Activez-le et choisissez le salon par défaut.
  2. 02Ajoutez un dépôt. Pour vos dépôts personnels et privés, copiez l’adresse du webhook et le secret depuis cet onglet dans les paramètres du dépôt sur GitHub. Les dépôts publics fonctionnent aussi sans webhook.
  3. 03Choisissez les événements et les branches souhaités, enregistrez, puis envoyez un message de test avec /github test.
ConseilActivez « Uniquement les exécutions Actions en échec » pour les workflows : le salon ne signale alors que les builds en échec au lieu de chaque exécution.

Tous les paramètres expliqués

Activez ou désactivez ce module avec l’interrupteur en haut de l’onglet.

Valeurs par défaut

Salon par défaut
Utilisé par tous les dépôts sans salon propre.
Mention pour les nouvelles releases
Optionnel. Seules les releases mentionnent, tout le reste reste silencieux.
Tous les dépôts
Poste aussi les dépôts qui envoient au webhook mais ne sont pas dans la liste (par exemple toute une organisation).

Filtres

Uniquement les exécutions Actions en échec
Les exécutions réussies restent silencieuses, les échecs sont postés.
Commits par message
Les pushs plus longs affichent "et X de plus".
Ignorer les bots
Ignore les événements de bots comme Dependabot.

Commandes

/githubNotifications GitHub

Une question ? Ouvrez un ticket dans la catégorie AgencyMod sur help.agencyg.de ou posez-la sur notre Discord. Politique de confidentialité et conditions d’utilisation

Toujours bloqué après cette page ? Notre support prend le relais.