Perché integrare Devin con GitHub?
Stai usando GitHub Enterprise Server? Consulta la guida all’integrazione di GitHub Enterprise Server per le istruzioni di configurazione utilizzando i personal access token.
Configurare l’integrazione
- Nel tuo account Devin su app.devin.ai, vai su Settings > Integrations > GitHub e fai clic su Add Connection.
- Se non hai già effettuato l’accesso a GitHub, ti verrà richiesto di autenticarti.
- Seleziona l’organizzazione GitHub che vuoi collegare a Devin.
- Scegli se concedere a Devin l’accesso a All repositories oppure a Select repositories per controllare a quali repository può accedere.
- Dopo aver completato l’autorizzazione su GitHub, verrai reindirizzato alle impostazioni di Devin, dove potrai confermare che l’integrazione è attiva.
Utilizzare Devin con l’integrazione GitHub
Per gli utenti Core e Teams
Per utenti Enterprise
Gestione delle autorizzazioni di Devin in GitHub
- Vai alle Settings della tua organizzazione GitHub > GitHub Apps (ad es.
https://github.com/organizations/<org_name>/settings/installations) - Seleziona Configure per l’integrazione Devin.ai
- In Repository access, scegli se concedere l’accesso a tutti i repository oppure seleziona repository specifici
- Fai clic su Save per applicare le modifiche
| Permission | Description |
|---|---|
dependabot alerts | Consente a Devin di risolvere gli avvisi di Dependabot per tuo conto (ad es. aggiornando le versioni delle dipendenze) |
actions | Consente a Devin di visualizzare le Actions configurate per un repository per capire se le modifiche di Devin superano la CI |
checks | Consente a Devin di visualizzare i Checks configurati per un repository per capire se le modifiche di Devin superano la CI |
commit statuses | Consente a Devin di vedere se un commit supera la CI |
deployments | Consente a Devin di vedere quali versioni di un repository sono state distribuite |
metadata | Consente a Devin di visualizzare metadati fondamentali su un repository, come chi ne è il proprietario |
packages | Consente a Devin di vedere quali versioni di un repository sono state rilasciate come package |
pages | Consente a Devin di consultare le pagine associate a un repository, ad esempio per visualizzare la documentazione |
repository advisories | Consente a Devin di visualizzare gli avvisi di sicurezza relativi a un repo per aiutare a risolvere i problemi di sicurezza |
repository hooks | Consente a Devin di visualizzare gli hook configurati per un repository, ad esempio linting e type checking |
repository projects | Consente a Devin di visualizzare i progetti associati a un repository, ad esempio per recuperare informazioni su un’attività |
| Permission | Description |
|---|---|
code | Consente a Devin di contribuire alla codebase |
discussions | Consente a Devin di contribuire alle discussioni |
issues | Consente a Devin di aprire nuove issue |
pull requests | Consente a Devin di creare nuove PR |
workflows | Consente a Devin di impostare nuovi workflow, ad esempio per aiutare a configurare la CI/CD |
Template per le pull request
Template specifico per Devin (consigliato)
devin_pr_template.md in una delle posizioni supportate di PULL_REQUEST_TEMPLATE indicate di seguito. Questo è utile se vuoi che Devin includa contesto aggiuntivo, ad esempio una checklist per i revisori o un diagramma Mermaid dei file modificati.
Ordine di ricerca dei template
- PULL_REQUEST_TEMPLATE/devin_pr_template.md
- docs/PULL_REQUEST_TEMPLATE/devin_pr_template.md
- .github/PULL_REQUEST_TEMPLATE/devin_pr_template.md
- pull_request_template.md
- docs/pull_request_template.md
- .github/pull_request_template.md
Per ulteriori informazioni sui template di pull request di GitHub (posizioni supportate, template multipli, parametri di query, ecc.), consulta la documentazione di GitHub: Creating a pull request template for your repository.
Firma dei commit
Considerazioni sulla sicurezza
- Protezione del branch: Consigliamo di abilitare le regole di protezione del branch sul branch principale per garantire che tutti i controlli richiesti vengano superati prima che Devin possa eseguire il merge delle modifiche.
- Autorizzazioni a livello di organizzazione: Devin utilizza le autorizzazioni concesse a livello di organizzazione, non le autorizzazioni del singolo utente che esegue la sessione.
- Accesso uniforme: Tutti gli utenti con accesso sia all’organizzazione GitHub che all’organizzazione Devin condividono le stesse autorizzazioni di integrazione Devin.
- Creazione di repository: Devin non può creare nuovi repository nel tuo account GitHub.
Allowlist degli indirizzi 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
Questi indirizzi IP potrebbero cambiare in aggiornamenti futuri. Ti consigliamo di monitorare le nostre note di rilascio per eventuali modifiche.
Domande frequenti sull’integrazione con GitHub
Posso collegare il mio account GitHub personale all'account Devin della mia organizzazione?
Posso collegare il mio account GitHub personale all'account Devin della mia organizzazione?
Sì, puoi collegare alla tua organizzazione Devin sia un’organizzazione GitHub sia un account GitHub personale. Tuttavia, consigliamo di collegare l’account che dispone delle autorizzazioni appropriate affinché Devin possa accedere ai repository di cui il tuo team ha bisogno.
In che modo l'app GitHub gestisce l'autenticazione degli utenti?
In che modo l'app GitHub gestisce l'autenticazione degli utenti?
Solo gli utenti che sono membri dell’organizzazione che ha installato l’integrazione GitHub possono usarla nelle proprie sessioni con Devin. Devin eredita l’accesso all’integrazione GitHub in base all’appartenenza dell’utente all’organizzazione.
In che modo Devin gestisce e ruota le chiavi di cifratura?
In che modo Devin gestisce e ruota le chiavi di cifratura?
Le chiavi di crittografia sono gestite da AWS KMS e ruotate periodicamente.