Profils

Un profil regroupe une identité Git (nom et e-mail) avec ses jetons d'intégration. Changez de profil et les deux changent ensemble — les commits sont attribués correctement et les appels d'API utilisent le bon compte.

Utile quand la même machine sert aux dépôts professionnels et personnels, ou quand vous avez deux comptes GitHub.

Rattachement par dépôt

Un dépôt peut être rattaché à un profil, pour qu'une récupération en arrière- plan s'authentifie toujours avec le bon compte — même pendant que vous regardez un dépôt qui appartient à l'autre.

Les jetons vivent dans le trousseau de votre système, jamais dans le fichier de réglages.

Voir aussi : Sécurité et secrets · Hébergement