Profile

Ein Profil bündelt eine Git-Identität (Name und E-Mail) mit ihren Integrations-Tokens. Wechselst du das Profil, wechseln beide zusammen — Commits bekommen die richtige Autorschaft, und API-Aufrufe nutzen das richtige Konto.

Nützlich, wenn dieselbe Maschine dienstliche und private Repositorys bedient, oder wenn du zwei GitHub-Konten hast.

Bindung pro Repository

Ein Repository kann an ein Profil gebunden werden, sodass ein Hintergrund-Fetch darauf sich immer mit dem richtigen Konto authentifiziert — auch dann, wenn du gerade auf ein Repository schaust, das zum anderen gehört.

Tokens liegen in deinem Schlüsselbund des Betriebssystems, niemals in der Einstellungsdatei.

Siehe auch: Sicherheit & Geheimnisse · Hosting