Configurar la integración
Crear una cuenta de servicio para Devin
- Dentro de tu instancia de GitHub Enterprise, crea una nueva cuenta de GitHub para que la utilice Devin. Esto es importante para garantizar que todos los accesos y el uso de Devin puedan rastrearse y gestionarse correctamente.
- Añade la cuenta de servicio recién creada a todas las organizaciones de GitHub relevantes como Member. Verifica que la cuenta tenga acceso a todos los repositorios a los que se espera que Devin acceda.
Generar un Personal Access Token para Devin
- Mientras estés conectado con la cuenta de servicio, haz clic en la foto de perfil en la esquina superior derecha y luego haz clic en Settings.
- En la barra lateral izquierda, haz clic en Developer settings.
- En la barra lateral izquierda, en Personal access tokens, haz clic en Fine-grained tokens.
- Haz clic en Generate new token.
- Agrega el Token name y la Expiration.
Nota: Cuando el token caduque, Devin perderá inmediatamente todo acceso a GitHub y será necesario crear un nuevo token. - En Resource owner, selecciona la organización correcta.
Common Issue: Organization not showing up
Common Issue: Organization not showing up
If you’re not seeing the correct organization under “Resource owner”, make sure that the enterprise and organization have enabled the use of fine-grained personal access tokens.
Habilitar en Enterprise Settings
Solo los Enterprise Admins podrán actualizar estas configuraciones. Asegúrate de que los personal access tokens también estén habilitados en la configuración específica de la organización.- En la esquina superior derecha de GitHub Enterprise Server, haz clic en tu foto de perfil y luego haz clic en Enterprise settings.
- En la parte superior de la página, haz clic en Policies.
- En Policies, haz clic en Personal access tokens.
- Selecciona la pestaña Fine-grained tokens.
- En Fine-grained personal access tokens, habilita el acceso.
- Haz clic en Save.
Habilitar en Organization Settings
Solo los Organization Admins podrán actualizar estas configuraciones. Asegúrate de que los personal access tokens también estén habilitados en la configuración de la enterprise.- En la esquina superior derecha de GitHub, haz clic en tu foto de perfil y luego haz clic en Organizations.
- Junto a la organización, haz clic en Settings.
- En la barra lateral izquierda, en Personal access tokens, haz clic en Settings.
- Selecciona la pestaña Fine-grained tokens.
- En Fine-grained personal access tokens, habilita el acceso para tu organización.
- Haz clic en Save.
- En Repository access, selecciona los repositorios con los que quieres que Devin trabaje. Los tokens siempre incluyen acceso de solo lectura a todos los repositorios públicos en GitHub.
- Asegúrate de que el token tenga los siguientes permisos, que son necesarios para que Devin funcione correctamente:
| Permission | Access level | Description |
|---|---|---|
| Contents | Read and write | Permite que Devin contribuya a la base de código |
| Issues | Read and write | Permite que Devin abra nuevos issues |
| Metadata | Read only | Permite que Devin vea metadatos clave sobre un repositorio, como quién es el propietario |
| Pull requests | Read and write | Permite que Devin cree nuevos PRs |
- Haz clic en Generate Token y guarda el token que se muestre.
Nota: Es posible que se requiera la aprobación de un administrador, según la configuración de tu GitHub. - Para validar que el token tiene todos los accesos y permisos necesarios, crea y haz push de una rama de prueba desde tu máquina local a un repositorio de la organización.
- Una vez que el token haya sido generado y probado, ponte en contacto con tu punto de contacto en Cognition para finalizar el proceso de configuración. Si actualmente no estás trabajando directamente con nuestro equipo, escribe a [email protected].
Validar los permisos del PAT localmente
Uso de Devin con la integración de GitHub
Consideraciones de seguridad
- Recomendamos habilitar protecciones de rama en
masterpara garantizar que se cumplan las validaciones antes de que Devin pueda fusionar cualquier cambio. - Si Devin está conectado a la cuenta de GitHub de tu organización, tendrá los mismos permisos que cualquier usuario con acceso tanto a la organización de GitHub como a la de Devin.
- Devin no reflejará los permisos del usuario que esté ejecutando una sesión con Devin; conservará los permisos otorgados a nivel de organización.
- Devin no puede crear repositorios nuevos en tu cuenta de GitHub.
