6. Account e impostazioni
6.1 L'account GitHub del kit
Perché collegarlo, come si accede, che cosa sblocca (repository, Git, GitHub CLI) e che cosa funziona anche senza.
Nell'app: «Impostazioni»
In breve
- Un solo accesso a GitHub vale per tutto il kit: la pagina Progetti, Git (anche nell'editor, nelle console e negli agenti) e GitHub CLI.
- Si fa in Impostazioni › «Account GitHub» con «Accedi a GitHub» e un codice da scrivere nel browser.
- Senza account il kit funziona lo stesso: cloni i repository pubblici e lavori in locale.
- L'accesso resta nel kit: su un altro PC sei già collegato.
- Con l'accesso, nome ed e-mail dei commit si riempiono dall'account, con l'indirizzo noreply di GitHub; li cambi in «Chi firma i commit».
Che cosa sblocca
| Con l'account | Anche senza |
|---|---|
| L'elenco dei tuoi repository in Progetti, con clona, rinomina ed elimina | Clonare repository pubblici con «Da un indirizzo Git» |
| Clonare repository privati | Creare progetti, avviarli, database, siti, agenti, strumenti |
| git push e git pull verso GitHub senza password | Usare Git in locale (commit, rami) |
| I comandi gh nelle console, nell'editor e negli agenti | — |
| Più richieste all'API di GitHub per i download (5.000 l'ora invece di 60) | Scaricare i componenti (con il limite più basso e qualche ripiego) |
Accedere
- Apri Impostazioni › «Account GitHub».
- Premi «Accedi a GitHub». Dopo «Accesso in preparazione…» compare un codice di otto caratteri (XXXX-XXXX) e si apre github.com nel browser.
- Premi «Copia il codice», incollalo nella pagina di GitHub e autorizza GitHub CLI. Se la pagina non si è aperta, «Apri la pagina di GitHub».
- Torna su Atollo: compare «Accesso fatto come @tuo-nome».
«Esci» toglie l'accesso dal kit dopo la conferma «Uscire da GitHub? Anche Git, l'editor e gli agenti del kit perdono l'accesso.»; «Annulla» o Esc chiudono la domanda.
Apri le Impostazioni →Il permesso di eliminare i repository
L'accesso normale non comprende il permesso di eliminare repository. La prima volta che premi «Elimina da GitHub» su un tuo repository, il riquadro dice che manca il permesso e mostra «Concedi il permesso»: il kit rifà l'accesso chiedendo anche quello. Il codice da scrivere compare in Impostazioni › «Account GitHub». Poi premi di nuovo «Elimina da GitHub».
Il tuo nome nei commit
In Impostazioni › «Account GitHub», sotto l'account, «Chi firma i commit» ha due campi, «Nome» ed «E-mail»: sono il nome e l'e-mail dei commit fatti con il Git del kit. Ognuno si salva quando il campo perde il focus.
- Se sono vuoti tutti e due e il kit ha accesso a GitHub, Atollo li riempie da solo, all'accesso e a ogni avvio: il nome dell'account (o il login) e l'indirizzo privato di GitHub, id+login@users.noreply.github.com. Così la tua e-mail vera resta privata.
- Puoi scrivere altro nome ed e-mail quando vuoi. Se svuoti tutti e due, vengono tolti; al prossimo avvio, se il kit ha ancora accesso a GitHub, tornano quelli dell'account.
- Un valore che non va bene mostra «Nome non valido.» o «Indirizzo e-mail non valido.». Se Git non è ancora nel kit compare «Git non è ancora nel kit: si installa con GitHub CLI.».
Sono i valori user.name e user.email di Git: in un terminale del kit funziona anche git config --global.
git config --global user.name "Nome Cognome"
git config --global user.email "tu@esempio.it"Sotto il cofano
- L'accesso esegue gh auth login --web --insecure-storage --scopes workflow: oltre ai permessi standard di GitHub CLI (repo, read:org, gist) chiede workflow; delete_repo solo con «Concedi il permesso».
- Il token è in data\gh\hosts.yml (GH_CONFIG_DIR punta lì), mai nella Gestione credenziali di Windows.
- Git usa lo stesso account attraverso un credential helper (gh auth git-credential) scritto nel file data\home\.gitconfig per github.com e gist.github.com, senza percorsi assoluti: sopravvive allo spostamento del kit. A ogni avvio il kit lo allinea allo stato di gh; un helper scritto da te per quegli indirizzi resta com'è.
- «Chi firma i commit» legge e scrive git config --global user.name e user.email, cioè il file data\home\.gitconfig del kit. Per riempirli dall'account basta una chiamata a gh api user.
- Git si fida solo dei repository nella cartella del kit: il .gitconfig del kit ha safe.directory = <cartella del kit>/* (per esempio D:/Atollo/*), riscritto a ogni avvio perché segua il kit quando cambia cartella; i valori aggiunti da te restano. Prima era safe.directory = *, cioè ogni repository del PC, anche di altri utenti.
- Per un repository fuori dal kit che appartiene a un altro utente, Git avvisa di nuovo «dubious ownership». Se ti fidi, in un terminale del kit: git config --global --add safe.directory <cartella>.
- Per clonare un repository privato il token viene passato a Git solo per quella operazione, mai sulla riga di comando né nel file .git\config.
- Per i download il kit usa prima GITHUB_TOKEN o GH_TOKEN del PC, se ci sono, poi l'account del kit. Le risposte dell'API sono conservate in data\cache\github.
- Il menu «Account» dell'editor non vede l'account del kit; push e pull nell'editor funzionano comunque, attraverso Git.