Einrichten der Integration
Erstellen Sie ein Servicekonto für Devin
- Erstellen Sie in Ihrer GitHub-Enterprise-Instanz ein neues GitHub-Konto für Devin. Dies ist wichtig, um sicherzustellen, dass sämtliche Zugriffe und die gesamte Nutzung durch Devin ordnungsgemäß nachverfolgt und verwaltet werden können.
- Fügen Sie das neu erstellte Servicekonto allen relevanten GitHub-Organisationen als Mitglied hinzu. Vergewissern Sie sich, dass das Konto Zugriff auf alle Repositories hat, auf die Devin voraussichtlich zugreifen soll.
Einen Personal Access Token für Devin erstellen
- Während Sie im Servicekonto angemeldet sind, klicken Sie oben rechts auf das Profilbild und dann auf Settings.
- Klicken Sie in der linken Seitenleiste auf Developer settings.
- Klicken Sie in der linken Seitenleiste unter Personal access tokens auf Fine-grained tokens.
- Klicken Sie auf Generate new token.
- Geben Sie den Token name und die Expiration an.
Hinweis: Wenn das Token abläuft, verliert Devin sofort jeglichen Zugriff auf GitHub und es muss ein neues Token erstellt werden. - Wählen Sie unter Resource owner die richtige Organisation aus.
Häufiges Problem: Organisation wird nicht angezeigt
Häufiges Problem: Organisation wird nicht angezeigt
Wenn unter „Resource owner“ nicht die richtige Organisation angezeigt wird, stellen Sie sicher, dass in der Enterprise-Instanz und in der Organisation die Verwendung von Fine-grained Personal Access Tokens aktiviert ist.
Aktivierung in den Enterprise-Einstellungen
Nur Enterprise-Admins können diese Einstellungen aktualisieren. Stellen Sie sicher, dass Personal Access Tokens auch in den Einstellungen der jeweiligen Organisation aktiviert sind.- Klicken Sie oben rechts in GitHub Enterprise Server auf Ihr Profilbild und dann auf Enterprise settings.
- Klicken Sie oben auf der Seite auf Policies.
- Klicken Sie unter Policies auf Personal access tokens.
- Wählen Sie den Tab Fine-grained tokens.
- Aktivieren Sie unter Fine-grained personal access tokens den Zugriff.
- Klicken Sie auf Save.
Aktivierung in den Organisationseinstellungen
Nur Organisations-Admins können diese Einstellungen aktualisieren. Stellen Sie sicher, dass Personal Access Tokens auch in den Enterprise-Einstellungen aktiviert sind.- Klicken Sie oben rechts in GitHub auf Ihr Profilbild und dann auf Organizations.
- Klicken Sie neben der Organisation auf Settings.
- Klicken Sie in der linken Seitenleiste unter Personal access tokens auf Settings.
- Wählen Sie den Tab Fine-grained tokens.
- Aktivieren Sie unter Fine-grained personal access tokens den Zugriff für Ihre Organisation.
- Klicken Sie auf Save.
- Wählen Sie unter Repository access, mit welchen Repositories Devin arbeiten soll. Tokens gewähren immer Lesezugriff auf alle öffentlichen Repositories auf GitHub.
- Stellen Sie sicher, dass das Token über die folgenden Berechtigungen verfügt, die erforderlich sind, damit Devin ordnungsgemäß arbeiten kann:
| Permission | Access level | Description |
|---|---|---|
| Contents | Read and write | Ermöglicht Devin, zur Codebasis beizutragen |
| Issues | Read and write | Ermöglicht Devin, neue Issues zu eröffnen |
| Metadata | Read only | Ermöglicht Devin, wichtige Metadaten zu einem Repository wie z. B. die Eigentümer anzuzeigen |
| Pull requests | Read and write | Ermöglicht Devin, neue Pull Requests (PRs) zu erstellen |
- Klicken Sie auf Generate Token und speichern Sie das angezeigte Token.
Hinweis: Je nach Ihren GitHub-Einstellungen kann eine Admin-Genehmigung erforderlich sein. - Um zu überprüfen, dass das Token alle notwendigen Zugriffe und Berechtigungen hat, erstellen Sie lokal einen Test-Branch und pushen Sie ihn in ein Repository der Organisation.
- Sobald das Token erstellt und getestet wurde, wenden Sie sich an Ihre Ansprechperson bei Cognition, um den Einrichtungsprozess abzuschließen. Wenn Sie derzeit nicht direkt mit unserem Team zusammenarbeiten, wenden Sie sich an [email protected].
PAT-Berechtigungen lokal überprüfen
Verwendung von Devin mit der GitHub-Integration
Sicherheitsaspekte
- Wir empfehlen, Branch-Schutzregeln auf
masterzu aktivieren, um sicherzustellen, dass Checks durchgesetzt werden, bevor Devin Änderungen zusammenführen kann. - Wenn Devin mit dem GitHub-Konto Ihrer Organisation verbunden ist, hat es dieselben Berechtigungen wie jeder Benutzer mit Zugriff auf die GitHub- und Devin-Organisation.
- Devin übernimmt nicht die Berechtigungen des Benutzers, der eine Sitzung mit Devin startet, sondern behält die auf Organisationsebene gewährten Berechtigungen bei.
- Devin kann in Ihrem GitHub-Konto keine neuen Repositories erstellen.
