Utilisation de Git via l'éditeur

Introduction

Qu'est-ce que Git ?

Git (prononcer guitte) est un système de versionnement de code qui est couramment utilisé dans les projets logiciels. Il permet notamment :

d'avoir un historique du code, dans lequel on peut revenir en arrière ;
de synchroniser plusieurs appareils et de travailler en équipe sur les mêmes fichiers en limitant les conflits ;
de maintenir plusieurs versions du même code, pour développer expérimenter sans casser la version fonctionnelle ;
de sauvegarder facilement le projet.

Un dossier versionné par Git est appelé un dépôt (_repository_ ou _repo_ en anglais).

Qu'est-ce qu'une forge ?

Si Git est un logiciel utilisable en local (sur votre machine ou dans l'éditeur de Leek Wars), il peut aussi interagir aussi avec une forge logicielle. C'est un serveur qui héberge des dépôts Git.

Leek Wars supporte plusieurs forges, le plus simple est d'en choisir une parmi celles-ci :

GitHub, service privateur de Microsoft (USA), pourrait utiliser vos dépôts privés pour entraîner ses IA. Héberge aussi le code de Leek Wars.
GitLab.com, instance officielle de GitLab (USA), un logiciel libre auto-hébergeable.
Bitbucket, service privateur de Atlassian (USA).
CodeBerg, instance officielle de Forgejo, logiciel libre communautaire auto-hébergeable, hébergée par une organisation allemande à but non lucratif.

Il est aussi possible d'utiliser d'autres forges basées sur GitLab, Bitbucket, Forgejo, Gitea ou Gogs, par exemple framagit.org ou gitea.com.

Utiliser Git pour une IA existante

Tout d'abord, l'IA doit être dans un dossier, et non à la racine. Créez un dossier, Faites clic droit sur le dossier, choisir "initialiser un dépôt Git". Il contiendra tous les fichiers à intégrer à Git.

Un onglet Git avec un pictogramme de branchage apparaît en haut de la liste des fichiers (menu de gauche). Allez-y.

Faire des commits

(prononcer comite en franglais, ou "validation" en bon français)

En haut de l'onglet Git, vérifiez dans le sélecteur déroulant que le dépôt voulu est sélectionné (si vous en avez plusieurs).

Quand les fichiers dans le dépôt sont modifiés, les modifications apparaissent dans l'onglet Git. Elles sont pour l'instant non indexées: c'est comme un brouillon, qui n'est pas encore gravé dans le marbre de l'historique.

Quand vous voulez enregistrer des modifications dans l'historique, cliquez sur le bouton ➕ pour les indexer. Résumez en quelques mots les modifications dans le champ "Message de commit", et validez.

Note : pour bien voir tous les boutons de l'onglet Git, il peut être nécessaire de l'agrandir vers la droite en faisant glisser son bord droit !

L'historique est une liste de commits, chaque commit étant un ensemble de modifications, avec une date et un message. L'idée est de pouvoir retrouver de quand date telle modification, de revenir en arrière, de grouper les modifications pour éviter d'avoir un code qui marche à moitié...

Se connecter à une forge

Configuration sur la forge

Créez-vous un compte sur une forge Git et créez-y un dépôt vide. Trouvez l'adresse de votre dépôt, qui devrait ressembler à https://exemple.net/mon-pseudo/mon-depot.git. C'est l'adresse de la page principale de votre dépôt, avec .git en plus à la fin.

Il faut maintenant créer un jeton d'authentification pour que Leek Wars puisse accéder au dépôt. La démarche dépend de la forge.

Forgejo : Paramètres du compte, Applications, Nouveau jeton d'accès. Autorisez l'accès lecture et écriture à "repository".
GitHub : Cliquer sur votre profil, Settings, Developer Settings (tout en bas). Dans la page que cela ouvre, choisir Personal access tokens, Tokens (classic). J'ai choisi qu'il expire au bout de 90 jours et je n'ai laissé que les droits pour participer au repo mais à vous de voir.

Conservez bien le jeton (ou _token_) pour ne pas le perdre !

Configuration sur Leek Wars

En bas de l'onglet Git, cliquez sur le bouton nuage "Paramètres du remote".

Choisissez GitHub, GitLab, Bitbucket ou Forgejo. Si vous n'utilisez pas GitHub, GitLab\.com, Bitbucket ou CodeBerg, cochez "Instance auto-hébergée" et indiquez l'adresse de la forge.

Collez le jeton dans le champ "Token d'accès".

Envoyer ses commits sur le serveur

Pour l'instant, l'historique des commits est uniquement enregistré dans Leek Wars. Pour l'envoyer sur la forge, on fait un push avec le bouton ⬆ tout en bas de l'onglet Git.

À chaque fois que vous voudrez envoyer de nouveaux commits, faites un push.

(en cours de rédaction)