Agency Docs

GitHub

Commits, pull requests, issues, releases y GitHub Actions en tu Discord, al instante y con filtros de eventos y branches.

¿Para qué sirve?

Lleva tus repositorios de GitHub a Discord: commits, pull requests, issues, releases, revisiones, workflows y más, como mensajes claros con enlaces.

Configúralo en 3 pasos

  1. 01Actívalo y elige el canal predeterminado.
  2. 02Añade un repositorio. Para tus repositorios propios y privados, copia la dirección del webhook y el secreto de esta pestaña en los ajustes del repositorio en GitHub. Los repositorios públicos también funcionan sin webhook.
  3. 03Elige los eventos y las ramas que quieras, guarda y envía un mensaje de prueba con /github test.
ConsejoActiva “Solo ejecuciones de Actions fallidas” para los workflows: el canal solo avisará de las compilaciones fallidas en lugar de cada ejecución.

Todos los ajustes explicados

Puedes activarlo o desactivarlo con el interruptor de la parte superior de la pestaña.

Valores por defecto

Canal predeterminado
Lo usa cada repositorio que no tenga canal propio.
Mencionar en releases nuevos
Opcional. Solo los releases mencionan, todo lo demás se queda en silencio.
Todos los repositorios
Publica también los repositorios que envían al webhook pero no están en la lista (por ejemplo, toda una organización).

Filtros

Solo ejecuciones de Actions fallidas
Las ejecuciones correctas se quedan en silencio, los fallos se publican.
Commits por mensaje
Los push más largos muestran "y X más".
Ignorar bots
Omite eventos de bots como Dependabot.

Comandos

/githubNotificaciones de GitHub

¿Tienes alguna duda? Abre un ticket en help.agencyg.de, en la categoría AgencyMod, o pregunta en nuestro Discord. Política de privacidad y condiciones de uso

¿Sigues atascado después de esta página? Nuestro soporte se encarga.