La GitHub App es una superficie distinta de una Connection GitHub del Broker. Esta App (
type: github) es una superficie de observación: mira PRs y pushes para impulsar el drift y alimentar al Auditor, y no expone invoke. Una Connection GitHub del Broker (type: nango:github) para escrituras como crear un issue no está shipped. Ver Integraciones y Connections.Instalación
Instálala desde el dashboard:Empieza la instalación
Haz clic en Install on GitHub. Te va a redirigir al flujo de instalación de apps de GitHub.
Selecciona los repositorios
Elige la cuenta u organización, y después selecciona repositorios específicos. Puedes ampliar el acceso más tarde desde la misma página de settings.
Qué hace la app
Observación de PRs
En los eventospull_request.opened, synchronize, reopened y ready_for_review:
- Trae la lista de archivos cambiados vía la GitHub API
- Hace match de cada archivo contra todos los patrones de topics del workspace usando intersección de globs
- Registra cada match PR↔topic (alimenta la actividad de PRs del dashboard) y encola al Auditor
Staleness por push
En los eventospush a ramas rastreadas (la rama por defecto más cualquier rama personalizada):
- Hace match de los archivos cambiados contra los topics usando intersección de patrones glob
- Marca los topics que matchean como stale con una razón (por ejemplo, “3 files changed in commit abc1234”)
Formato del comentario de PR
<!-- driftless-auditor -->) le permite a Driftless encontrar y actualizar el comentario en los pushes siguientes.
Permisos
| Permiso | Nivel | Razón |
|---|---|---|
| Contents | Lectura | Traer los archivos cambiados en PRs y pushes |
| Pull requests | Lectura y escritura | Publicar y actualizar el comentario del Auditor |
| Issues | Lectura y escritura | Los comentarios de PR usan la Issues API |
| Metadata | Lectura | Requerido por GitHub para todas las apps |
Desactivación
Quita la integración desde Settings > GitHub Integration, o desinstala la app directamente en GitHub. El webhookinstallation/deleted desactiva la integración en tu workspace automáticamente.
El CLI funciona sin la GitHub App. Los comentarios de PR del Auditor y el marcado de stale por push requieren que la app esté instalada.
