Personalizzazione

Profili

Un profilo mette insieme un'identità Git (nome ed email) con i suoi token di integrazione. Cambi profilo e cambiano entrambi insieme — i commit sono attribuiti correttamente e le chiamate API usano l'account giusto.

Utile quando la stessa macchina gestisce repository di lavoro e personali, o quando hai due account GitHub.

Un profilo: da un lato l'identità git, dall'altro i suoi token di integrazione

Legame per repository

Un repository può essere legato a un profilo, così un fetch in background su di lui si autentica sempre con l'account giusto — anche mentre stai guardando un repository che appartiene all'altro.

I token vivono nel portachiavi del tuo sistema operativo, mai nel file delle impostazioni.

Vedi anche: Sicurezza e segreti · Hosting

Migliora questa traduzione su GitHub