6. Konto und Einstellungen
6.1 Das GitHub-Konto des Kits
Warum du es verbinden solltest, wie du dich anmeldest, was es freischaltet (Repositorys, Git, GitHub CLI) und was auch ohne es funktioniert.
In der App: «Einstellungen»
Kurz gesagt
- Eine einzige GitHub-Anmeldung gilt für das ganze Kit: die Seite Projekte, Git (auch im Editor, in den Konsolen und in den Agenten) und GitHub CLI.
- Sie erfolgt unter Einstellungen › „GitHub-Konto“ mit „Bei GitHub anmelden“ und einem Code, den du im Browser eingibst.
- Ohne Konto funktioniert das Kit trotzdem: Du klonst öffentliche Repositorys und arbeitest lokal.
- Die Anmeldung bleibt im Kit: Auf einem anderen PC bist du bereits angemeldet.
- Mit der Anmeldung werden Name und E-Mail der Commits aus dem Konto gefüllt, mit der noreply-Adresse von GitHub; du änderst sie unter „Wer die Commits signiert“.
Was sie freischaltet
| Mit dem Konto | Auch ohne |
|---|---|
| Die Liste deiner Repositorys unter Projekte, mit Klonen, Umbenennen und Löschen | Öffentliche Repositorys mit „Von einer Git-Adresse“ klonen |
| Private Repositorys klonen | Projekte erstellen und starten, Datenbanken, Websites, Agenten, Werkzeuge |
| git push und git pull zu GitHub ohne Passwort | Git lokal verwenden (Commits, Branches) |
| Die gh-Befehle in den Konsolen, im Editor und in den Agenten | — |
| Mehr Anfragen an die GitHub-API für Downloads (5.000 pro Stunde statt 60) | Komponenten herunterladen (mit dem niedrigeren Limit und einigen Ausweichlösungen) |
Anmelden
- Öffne Einstellungen › „GitHub-Konto“.
- Klicke auf „Bei GitHub anmelden“. Nach „Anmeldung wird vorbereitet…“ erscheint ein achtstelliger Code (XXXX-XXXX) und github.com öffnet sich im Browser.
- Klicke auf „Code kopieren“, füge ihn auf der GitHub-Seite ein und autorisiere GitHub CLI. Wenn sich die Seite nicht geöffnet hat, verwende „GitHub-Seite öffnen“.
- Kehre zu Atollo zurück: „Angemeldet als @dein-name“ erscheint.
„Abmelden“ entfernt die Anmeldung aus dem Kit nach der Bestätigung „Von GitHub abmelden? Auch Git, der Editor und die Agenten des Kits verlieren den Zugang.“; „Abbrechen“ oder Esc schließt die Frage.
Einstellungen öffnen →Die Berechtigung, Repositorys zu löschen
Die normale Anmeldung umfasst nicht die Berechtigung, Repositorys zu löschen. Wenn du zum ersten Mal bei einem deiner Repositorys auf „Von GitHub löschen“ klickst, meldet der Bereich, dass die Berechtigung fehlt, und zeigt „Berechtigung erteilen“: Das Kit meldet sich erneut an und fragt dabei auch danach. Der einzugebende Code erscheint unter Einstellungen › „GitHub-Konto“. Klicke dann erneut auf „Von GitHub löschen“.
Dein Name in den Commits
Unter Einstellungen › „GitHub-Konto“ hat „Wer die Commits signiert“ unter dem Konto zwei Felder, „Name“ und „E-Mail“: Das sind Name und E-Mail der Commits, die mit dem Git des Kits gemacht werden. Jedes wird gespeichert, wenn das Feld den Fokus verliert.
- Wenn beide leer sind und das Kit bei GitHub angemeldet ist, füllt Atollo sie von selbst aus, bei der Anmeldung und bei jedem Start: den Namen des Kontos (oder den Login) und die private Adresse von GitHub, id+login@users.noreply.github.com. So bleibt deine echte E-Mail privat.
- Du kannst jederzeit einen anderen Namen und eine andere E-Mail eingeben. Wenn du beide leerst, werden sie entfernt; beim nächsten Start kommen die des Kontos zurück, wenn das Kit noch bei GitHub angemeldet ist.
- Ein ungültiger Wert zeigt „Ungültiger Name.“ oder „Ungültige E-Mail-Adresse.“. Wenn Git noch nicht im Kit ist, erscheint „Git ist noch nicht im Kit: Es wird mit GitHub CLI installiert.“.
Das sind die Werte user.name und user.email von Git: In einem Terminal des Kits funktioniert auch git config --global.
git config --global user.name "Nome Cognome"
git config --global user.email "tu@esempio.it"Unter der Haube
- Die Anmeldung führt gh auth login --web --insecure-storage --scopes workflow aus: Zusätzlich zu den Standardberechtigungen von GitHub CLI (repo, read:org, gist) fragt sie nach workflow; delete_repo nur mit „Berechtigung erteilen“.
- Das Token liegt in data\gh\hosts.yml (GH_CONFIG_DIR zeigt dorthin), nie in der Windows-Anmeldeinformationsverwaltung.
- Git verwendet dasselbe Konto über einen Credential Helper (gh auth git-credential), der in die Datei data\home\.gitconfig für github.com und gist.github.com geschrieben wird, ohne absolute Pfade: Er übersteht das Verschieben des Kits. Bei jedem Start gleicht das Kit ihn an den Zustand von gh an; ein Helper, den du selbst für diese Adressen geschrieben hast, bleibt unverändert.
- „Wer die Commits signiert“ liest und schreibt git config --global user.name und user.email, also die Datei data\home\.gitconfig des Kits. Um sie aus dem Konto zu füllen, genügt ein Aufruf von gh api user.
- Git vertraut nur den Repositorys im Ordner des Kits: Die .gitconfig des Kits hat safe.directory = <Kit-Ordner>/* (zum Beispiel D:/Atollo/*), bei jedem Start neu geschrieben, damit es dem Kit folgt, wenn es den Ordner wechselt; Werte, die du hinzugefügt hast, bleiben. Vorher war es safe.directory = *, also jedes Repository auf dem PC, auch das anderer Benutzer.
- Bei einem Repository außerhalb des Kits, das einem anderen Benutzer gehört, warnt Git wieder vor „dubious ownership“. Wenn du ihm vertraust, in einem Terminal des Kits: git config --global --add safe.directory <Ordner>.
- Zum Klonen eines privaten Repositorys wird das Token nur für diesen Vorgang an Git übergeben, nie auf der Befehlszeile und nie in der Datei .git\config.
- Für Downloads verwendet das Kit zuerst GITHUB_TOKEN oder GH_TOKEN des PCs, falls vorhanden, dann das Konto des Kits. Die Antworten der API werden in data\cache\github aufbewahrt.
- Das Menü „Konten“ des Editors sieht das Konto des Kits nicht; Push und Pull im Editor funktionieren trotzdem, über Git.