Saltar al contenido principal

​
¿Por qué integrar Devin con GitHub?

Integrar Devin con tu organización de GitHub permite que Devin cree pull requests, responda a comentarios en PR y colabore directamente en tus repositorios. Esto permite que Devin actúe como un colaborador de pleno derecho en tu equipo de ingeniería. Para comenzar, ve a app.devin.ai > Settings > Integrations > GitHub, haz clic en Add Connection y sigue las indicaciones. Podrás seleccionar a qué repositorios puede acceder Devin y revisar los permisos necesarios.
¿Usas GitHub Enterprise Server? Consulta la guía de integración de GitHub Enterprise Server para ver las instrucciones de configuración usando tokens de acceso personal.

​
Configuración de la integración

Debes ser administrador de tu organización de GitHub para crear y administrar la integración de Devin. ¿Tienes problemas? Consulta nuestra sección de Problemas comunes.
  1. En tu cuenta de Devin en app.devin.ai, ve a Settings > Integrations > GitHub y haz clic en Add Connection.
Devin
  1. Si aún no has iniciado sesión en GitHub, se te pedirá que te autentiques.
Devin
  1. Selecciona la organización de GitHub que deseas conectar con Devin.
Devin
  1. Elige si quieres otorgar a Devin acceso a All repositories o Select repositories para controlar a qué repositorios puede acceder Devin.
Devin
  1. Después de completar la autorización de GitHub, se te redirigirá a la configuración de Devin, donde puedes confirmar que la integración está activa.
Devin
Recomendamos habilitar reglas de protección de ramas en la rama principal para asegurarte de que todas las comprobaciones requeridas se aprueben antes de que Devin pueda fusionar cambios.

​
Uso de Devin con la integración de GitHub

​
Para usuarios de Core y Teams

Una vez que la integración esté configurada, puedes mencionar repositorios con @ directamente en tus mensajes dentro de la aplicación web de Devin.

​
Para usuarios Enterprise

Una vez que la integración esté configurada, puedes delegar repositorios a organizaciones específicas desde Enterprise Settings > Repository Permissions.
Devin
Si estás trabajando con un repositorio por primera vez, te recomendamos completar la configuración del entorno de desarrollo en el flujo de incorporación para garantizar que Devin tenga información precisa y actualizada sobre tu base de código. Devin responde automáticamente a los comentarios en PR (pull requests) siempre que la sesión no haya sido archivada.

​
Gestión de permisos de Devin en GitHub

Durante la configuración, puedes otorgar a Devin acceso a todos los repositorios de tu organización o limitar el acceso a repositorios específicos. Puedes ajustar el acceso a los repositorios en cualquier momento desde la configuración de tu organización en GitHub:
  1. Ve a Settings > GitHub Apps de tu organización de GitHub (p. ej., https://github.com/organizations/<org_name>/settings/installations)
  2. Selecciona Configure para la integración de Devin.ai
  3. En Repository access, elige otorgar acceso a todos los repositorios o selecciona repositorios específicos
  4. Haz clic en Save para aplicar los cambios
Devin
Devin requiere los siguientes permisos: Acceso de lectura a:
PermisoDescripción
dependabot alertsPermite que Devin resuelva alertas de Dependabot en tu nombre (es decir, actualizando versiones de dependencias)
actionsPermite que Devin vea las acciones configuradas para un repositorio con el fin de entender si los cambios de Devin pasan CI
checksPermite que Devin vea las comprobaciones configuradas para un repositorio con el fin de entender si los cambios de Devin pasan CI
commit statusesPermite que Devin vea si un commit pasa CI
deploymentsPermite que Devin vea qué versiones de un repositorio se han desplegado
metadataPermite que Devin vea metadatos cruciales sobre un repositorio, como quién es el propietario
packagesPermite que Devin vea qué versiones de un repositorio se han publicado como paquete
pagesPermite que Devin consulte páginas asociadas con un repositorio, p. ej., para ver documentación
repository advisoriesPermite que Devin vea avisos de seguridad relacionados con un repositorio para ayudar a corregir problemas de seguridad
repository hooksPermite que Devin vea los hooks configurados para un repositorio, p. ej., linting y verificación de tipos
repository projectsPermite que Devin vea proyectos asociados con un repositorio, p. ej., para recuperar información sobre una tarea
Acceso de lectura y escritura a:
PermisoDescripción
codePermite que Devin contribuya al código base
discussionsPermite que Devin contribuya a las discusiones
issuesPermite que Devin abra nuevos issues
pull requestsPermite que Devin cree nuevos PRs
workflowsPermite que Devin configure nuevos workflows, p. ej., para ayudar a configurar CI/CD
Estos permisos permiten que Devin trabaje en tus repositorios como un colaborador habitual, subiendo ramas, abriendo pull requests y participando en discusiones de PRs.

​
Plantillas de Pull Request

Cuando Devin crea un pull request, utiliza una plantilla de tu repositorio para estructurar la descripción del PR. Si proporcionas una plantilla, Devin sigue su formato al enviar PRs a GitHub. Puedes proporcionar a Devin su propia plantilla sin modificar tu plantilla predeterminada para revisiones humanas añadiendo un archivo llamado devin_pr_template.md en una de las ubicaciones PULL_REQUEST_TEMPLATE compatibles que se indican a continuación. Esto es útil si quieres que Devin incluya contexto adicional, como una lista de verificación para revisores o un diagrama Mermaid de los archivos modificados.

​
Orden de búsqueda de plantillas

Devin busca plantillas en el siguiente orden y usa la primera coincidencia:
  1. PULL_REQUEST_TEMPLATE/devin_pr_template.md
  2. docs/PULL_REQUEST_TEMPLATE/devin_pr_template.md
  3. .github/PULL_REQUEST_TEMPLATE/devin_pr_template.md
  4. pull_request_template.md
  5. docs/pull_request_template.md
  6. .github/pull_request_template.md
Si no se encuentra ninguna plantilla, Devin usa su formato de descripción de PR predeterminado.
Si quieres que Devin use tu archivo pull_request_template.md existente, cópialo (o crea un symlink) en una de las rutas devin_pr_template.md indicadas arriba.
Para obtener más información sobre las plantillas de pull request de GitHub (ubicaciones admitidas, múltiples plantillas, parámetros de consulta, etc.), consulta la documentación de GitHub: Creating a pull request template for your repository.

​
Firma de commits

Durante la configuración de tu repositorio, puedes usar la terminal de Devin para generar una clave GPG que se utilizará para firmar commits, siguiendo el proceso descrito en la documentación de GitHub. Recomendamos crear una cuenta de GitHub dedicada en tu organización (por ejemplo, devin@company.com) para asociarla con la clave GPG, lo que facilitará identificar los commits que provienen de Devin.
Devin

​
Consideraciones de seguridad

  • Protección de ramas: Recomendamos habilitar reglas de protección de ramas en tu rama principal para garantizar que se hayan superado todas las comprobaciones requeridas antes de que Devin pueda fusionar cambios.
  • Permisos a nivel de organización: Devin usa los permisos concedidos a nivel de organización, no los permisos del usuario individual que ejecuta una sesión.
  • Acceso consistente: Todos los usuarios con acceso tanto a las organizaciones de GitHub como de Devin comparten los mismos permisos de integración de Devin.
  • Creación de repositorios: Devin no puede crear nuevos repositorios en tu cuenta de GitHub.

​
Lista de IP permitidas

Si su organización requiere una lista de IP permitidas para el acceso a GitHub, agregue las siguientes direcciones IP:
  • 100.20.50.251
  • 44.238.19.62
  • 52.10.84.81
  • 52.183.72.253
  • 20.172.46.235
  • 52.159.232.99
Estas direcciones IP pueden cambiar en futuras actualizaciones. Recomendamos monitorear nuestras notas de la versión para ver cualquier cambio.

​
Preguntas frecuentes sobre la integración con GitHub

Sí, un usuario puede optar por conectar una organización de GitHub o una cuenta personal a la cuenta de Devin de su organización, pero recomendamos conectar la cuenta que tenga los permisos necesarios para que Devin acceda a los repositorios que necesita su equipo.
Solo los usuarios que sean miembros de la organización que instaló la integración de GitHub pueden usarla en sus sesiones de Devin. Devin hereda el acceso a la integración de GitHub en función de la pertenencia del usuario a la organización.
Las claves de cifrado son gestionadas por AWS KMS y se rotan periódicamente.