Einrichten der Integration
Erstellen Sie ein Servicekonto für Devin
- Erstellen Sie innerhalb Ihrer GitHub-Enterprise-Instanz ein neues GitHub-Konto, das Devin verwenden kann. Dies ist wichtig, um sicherzustellen, dass Devins Zugriffe und Nutzung vollständig nachverfolgt und verwaltet werden können.
- Fügen Sie das neu erstellte Servicekonto allen relevanten GitHub-Organisationen als Mitglied hinzu. Stellen Sie sicher, dass das Konto Zugriff auf alle Repositories hat, auf die Devin 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 anschließend 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.
- Fügen Sie den Token name und die Expiration hinzu.
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 Sie die richtige Organisation nicht unter „Resource owner“ sehen, 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 spezifischen Organisationseinstellungen aktiviert sind.- Klicken Sie in der oberen rechten Ecke von 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 in der oberen rechten Ecke von 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 enthalten immer Lesezugriff auf alle öffentlichen Repositories auf GitHub.
- Stellen Sie sicher, dass das Token über die folgenden Berechtigungen verfügt, die für den ordnungsgemäßen Betrieb von Devin erforderlich sind:
| Permission | Access level | Description |
|---|---|---|
| Contents | Read and write | Ermöglicht Devin, zur Codebasis beizutragen |
| Issues | Read and write | Ermöglicht Devin, neue Issues zu erstellen |
| Metadata | Read only | Ermöglicht Devin, wichtige Metadaten zu einem Repository anzusehen, z. B. wem es gehört |
| Pull requests | Read and write | Ermöglicht Devin, neue 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 über alle erforderlichen Zugriffe und Berechtigungen verfügt, erstellen und pushen Sie einen Test-Branch auf Ihrer lokalen Maschine 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 Überprüfungen durchgesetzt werden, bevor Devin Änderungen zusammenführen kann. - Wenn Devin mit dem GitHub-Konto Ihrer Organisation verbunden ist, hat Devin dieselben Berechtigungen wie jeder Benutzer, der Zugriff auf die GitHub- bzw. Devin-Organisation hat.
- Devin übernimmt nicht die Berechtigungen des Benutzers, der eine Sitzung mit Devin ausführt, sondern behält die auf Organisationsebene gewährten Berechtigungen bei.
- Devin kann keine neuen Repositories in Ihrem GitHub-Konto erstellen.
