6. Compte et paramètres
6.1 Le compte GitHub du kit
Pourquoi le connecter, comment se connecter, ce qu'il débloque (dépôts, Git, GitHub CLI) et ce qui fonctionne aussi sans lui.
Dans l'application: «Paramètres»
En bref
- Une seule connexion à GitHub vaut pour tout le kit : la page Projets, Git (y compris dans l'éditeur, les consoles et les agents) et GitHub CLI.
- Elle se fait dans Paramètres › « Compte GitHub » avec « Se connecter à GitHub » et un code à saisir dans le navigateur.
- Sans compte, le kit fonctionne quand même : vous clonez les dépôts publics et travaillez en local.
- La connexion reste dans le kit : sur un autre PC, vous êtes déjà connecté.
- Avec la connexion, le nom et l'e-mail des commits se remplissent depuis le compte, avec l'adresse noreply de GitHub ; vous les changez dans « Qui signe les commits ».
Ce qu'elle débloque
| Avec le compte | Même sans |
|---|---|
| La liste de vos dépôts dans Projets, avec cloner, renommer et supprimer | Cloner des dépôts publics avec « Depuis une adresse Git » |
| Cloner des dépôts privés | Créer des projets, les lancer, bases de données, sites, agents, outils |
| git push et git pull vers GitHub sans mot de passe | Utiliser Git en local (commits, branches) |
| Les commandes gh dans les consoles, l'éditeur et les agents | — |
| Plus de requêtes à l'API de GitHub pour les téléchargements (5 000 par heure au lieu de 60) | Télécharger les composants (avec la limite plus basse et quelques solutions de repli) |
Se connecter
- Ouvrez Paramètres › « Compte GitHub ».
- Appuyez sur « Se connecter à GitHub ». Après « Préparation de la connexion… », un code de huit caractères apparaît (XXXX-XXXX) et github.com s'ouvre dans le navigateur.
- Appuyez sur « Copier le code », collez-le dans la page de GitHub et autorisez GitHub CLI. Si la page ne s'est pas ouverte, utilisez « Ouvrir la page de GitHub ».
- Revenez sur Atollo : « Connecté en tant que @votre-nom » apparaît.
« Se déconnecter » retire la connexion du kit après la confirmation « Se déconnecter de GitHub ? Git, l'éditeur et les agents du kit perdent aussi l'accès. » ; « Annuler » ou Échap ferme la question.
Ouvrir les Paramètres →L'autorisation de supprimer les dépôts
La connexion normale ne comprend pas l'autorisation de supprimer des dépôts. La première fois que vous appuyez sur « Supprimer de GitHub » sur l'un de vos dépôts, le panneau indique que l'autorisation manque et affiche « Accorder l'autorisation » : le kit refait la connexion en la demandant aussi. Le code à saisir apparaît dans Paramètres › « Compte GitHub ». Appuyez ensuite de nouveau sur « Supprimer de GitHub ».
Votre nom dans les commits
Dans Paramètres › « Compte GitHub », sous le compte, « Qui signe les commits » a deux champs, « Nom » et « E-mail » : ce sont le nom et l'e-mail des commits faits avec le Git du kit. Chacun s'enregistre quand le champ perd le focus.
- S'ils sont vides tous les deux et que le kit est connecté à GitHub, Atollo les remplit tout seul, à la connexion et à chaque démarrage : le nom du compte (ou le login) et l'adresse privée de GitHub, id+login@users.noreply.github.com. Ainsi votre vraie adresse e-mail reste privée.
- Vous pouvez saisir un autre nom et une autre adresse quand vous voulez. Si vous videz les deux, ils sont supprimés ; au prochain démarrage, si le kit est toujours connecté à GitHub, ceux du compte reviennent.
- Une valeur non valable affiche « Nom non valide. » ou « Adresse e-mail non valide. ». Si Git n'est pas encore dans le kit, « Git n'est pas encore dans le kit : il s'installe avec GitHub CLI. » apparaît.
Ce sont les valeurs user.name et user.email de Git : dans un terminal du kit, git config --global fonctionne aussi.
git config --global user.name "Nome Cognome"
git config --global user.email "tu@esempio.it"Sous le capot
- La connexion exécute gh auth login --web --insecure-storage --scopes workflow : en plus des autorisations standard de GitHub CLI (repo, read:org, gist), elle demande workflow ; delete_repo seulement avec « Accorder l'autorisation ».
- Le jeton est dans data\gh\hosts.yml (GH_CONFIG_DIR pointe là), jamais dans le Gestionnaire d'identification de Windows.
- Git utilise le même compte grâce à un credential helper (gh auth git-credential) écrit dans le fichier data\home\.gitconfig pour github.com et gist.github.com, sans chemins absolus : il survit au déplacement du kit. À chaque démarrage, le kit l'aligne sur l'état de gh ; un helper que vous avez écrit vous-même pour ces adresses reste tel quel.
- « Qui signe les commits » lit et écrit git config --global user.name et user.email, c'est-à-dire le fichier data\home\.gitconfig du kit. Les remplir depuis le compte demande un seul appel à gh api user.
- Git ne fait confiance qu'aux dépôts du dossier du kit : le .gitconfig du kit a safe.directory = <dossier du kit>/* (par exemple D:/Atollo/*), réécrit à chaque démarrage pour suivre le kit quand il change de dossier ; les valeurs que vous avez ajoutées restent. Avant, c'était safe.directory = *, c'est-à-dire tous les dépôts du PC, même ceux d'autres utilisateurs.
- Pour un dépôt hors du kit qui appartient à un autre utilisateur, Git avertit de nouveau « dubious ownership ». Si vous lui faites confiance, dans un terminal du kit : git config --global --add safe.directory <dossier>.
- Pour cloner un dépôt privé, le jeton est transmis à Git uniquement pour cette opération, jamais sur la ligne de commande ni dans le fichier .git\config.
- Pour les téléchargements, le kit utilise d'abord GITHUB_TOKEN ou GH_TOKEN du PC, s'ils existent, puis le compte du kit. Les réponses de l'API sont conservées dans data\cache\github.
- Le menu « Comptes » de l'éditeur ne voit pas le compte du kit ; push et pull dans l'éditeur fonctionnent quand même, via Git.