GitHub Enterprise Server-Integration

Documentation Index

Fetch the complete documentation index at: https://docs.devin.ai/llms.txt

Use this file to discover all available pages before exploring further.

1. GitHub App (empfohlen) — Registrieren und installieren Sie eine dedizierte GitHub App auf Ihrer GHES- oder GHEC-Instanz. Das vereinfacht die Einrichtung und macht die Verwaltung persönlicher Zugriffstokens überflüssig.
2. Personal Access Token (PAT) — Erstellen Sie ein Servicekonto und generieren Sie einen feingranularen Personal Access Token. Diese Methode funktioniert mit allen GHES-Versionen.

1. App-Registrierung — Registrieren Sie eine GitHub App auf Ihrer GHES- oder GHEC-Instanz. Sie benötigen nur eine App-Registrierung pro Instanz.
2. App-Konfiguration — Konfigurieren Sie die registrierte App auf Ihrer GHES- oder GHEC-Instanz (z. B. indem Sie sie öffentlich machen und den Ablauf von Tokens deaktivieren).
3. App-Installation — Installieren Sie die registrierte App in jeder GitHub-Organisation, auf die Devin zugreifen soll. Sie benötigen eine Installation pro Organisation.

• Ein Devin-Nutzer mit der Berechtigung Git-Berechtigungen verwalten
• Owner- oder Admin-Zugriff auf die GitHub-Organisation, in der die App registriert werden soll

1. Navigieren Sie in Ihrem Devin-Konto zu Enterprise Settings → Integrationen → GitHub.
2. Erweitern Sie den Abschnitt Advanced, um die Optionen für GitHub Enterprise einzublenden.

3. Klicken Sie auf Register App.
4. Geben Sie im angezeigten Modal den Hostname Ihrer GHES- oder GHEC-Instanz sowie die Organisation ein, in der die App registriert werden soll.

5. Sie werden zu GitHub weitergeleitet. Klicken Sie auf Register App, um die Registrierung abzuschließen.

6. Nachdem Sie zurück zu Devin weitergeleitet wurden, ist die GitHub App nun in Ihrer GitHub-Organisation registriert.

1. Navigieren Sie auf Ihrer GHES- oder GHEC-Instanz zu der GitHub-Organisation, die bei der Registrierung angegeben wurde.
2. Gehen Sie zu Settings → Developer Settings → GitHub Apps und wählen Sie die Devin App aus.

3. Klicken Sie im Abschnitt Advanced unter Danger zone auf Make public. Dadurch kann die App auch in anderen Organisationen auf derselben Instanz installiert werden.
4. Wechseln Sie zum Abschnitt Optional features und deaktivieren Sie User-to-server token expiration. Dadurch laufen Zugriffstoken nicht ab, und Nutzer müssen die App nicht regelmäßig erneut autorisieren.

1. Navigieren Sie in Ihrem Devin-Konto zu Enterprise Settings → Integrationen → GitHub.
2. Klappen Sie den Abschnitt Advanced aus und klicken Sie auf Install App.
3. Wählen Sie im Modal die GitHub App aus, die unter Ihrer GHES- oder GHEC-Instanz registriert ist.

4. Sie werden zu GitHub weitergeleitet. Dort können Sie eine GitHub-Organisation auswählen und festlegen, auf welche Repositories Devin Zugriff erhalten soll. Wir empfehlen, Zugriff auf alle Repositories zu gewähren.
5. Nach Abschluss der Installation werden Sie zu Devin zurückgeleitet. Unter Settings → Integrationen → GitHub wird eine neue Git-Verbindung angezeigt.

1. 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.
2. 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.

1. Während Sie im Servicekonto angemeldet sind, klicken Sie oben rechts auf das Profilbild und dann auf Settings.
2. Klicken Sie in der linken Seitenleiste auf Developer settings.
3. Klicken Sie in der linken Seitenleiste unter Personal access tokens auf Fine-grained tokens.
4. Klicken Sie auf Generate new token.
5. 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.
6. Wählen Sie unter Resource owner die richtige Organisation aus.

7. Wählen Sie unter Repository access, mit welchen Repositories Devin arbeiten soll. Tokens gewähren immer Lesezugriff auf alle öffentlichen Repositories auf GitHub.
8. Stellen Sie sicher, dass das Token über die folgenden Berechtigungen verfügt, die erforderlich sind, damit Devin ordnungsgemäß arbeiten kann:

9. Klicken Sie auf Generate Token und speichern Sie das angezeigte Token.
   Hinweis: Je nach Ihren GitHub-Einstellungen kann eine Admin-Genehmigung erforderlich sein.
10. 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.
11. 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 enterprise@cognition.ai.

# Authenticate with gh CLI using your token
export GH_TOKEN=your_personal_access_token
export GH_HOST=your-github-enterprise-server.com

# Clone the repository
gh repo clone your-organization/your-repository
cd your-repository

# Create a test branch
git checkout -b test-devin-token-$(date +%s)

# Make a small change
echo "# Test" >> TEST.md
git add TEST.md
git commit -m "Test: Validate Devin token permissions"

# Push the branch (tests contents write permission)
git push origin HEAD

# Pull Request erstellen (testet Schreibberechtigung für Pull Requests)
gh pr create --title "Test: Validate Devin token permissions" \
  --body "This is a test PR to validate token permissions." \
  --base main

# Clean up: close the test PR and delete the test branch
gh pr close pr-number --delete-branch

• Wir empfehlen, Branch-Schutzregeln auf master zu 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.