🛠️ Les outils de dev : Github DeskTop

Git est un système de versioning de fichiers crĂ©e par Linus Thorvald . C’est un outil indispensable lorsque l’on veut faire du code en production. Il permet de garder une trace de chaque modification du code (commit , ou point de sauvegarde ) ainsi que de pouvoir gĂ©rer la collaboration entre plusieurs dev par un système de branches.

Github est un site qui utilise le protocole git et permet de stocker du code dans le cloud.

Github Desktop est une interface git simplifiée qui permet de synchroniser des fichiers locaux avec le cloud de github.



Fonctionnement de Git


Qu’est ce qu’un Repository ?

  • Un dossier versionnĂ© en cloud ( si on utilise github )
  • Le repos ‘origin’ est le dossier dans le cloud
  • CrĂ©er un repository sur github
  • CrĂ©er un clone du repository en local

Qu’est ce qu’un Commit ?

  • Une modification reversible + un commentaire
  • Modifier un fichier du repos local et faire un premier commit
  • Push : on envoie le commit de notre repos local au repos origin
  • Pull : tĂ©lĂ©charger une mise Ă  jour (commit) prĂ©sente dans l’orgin vers notre rĂ©pos local

Qu’est ce qu’une Branche ?

Une branche est une version paralelle du repository

Le systeme de branche permet Ă  plusieur dev de travailler en parallel sur le meme repository sans rentrer en conflit. Chacun crĂ©er sa branche , produit son code, puis l’envoie Ă  la branche principale (‘master‘) via un “Pull request


Pratique :

  • Formateur : Ajouter chaque Ă©lève en tant que collaborateur du repos “FormationScripting”
  • CrĂ©er un clone du repository en local
  • CrĂ©er une branche Ă  son nom
  • Modifier le fichier ‘file_to_version.txt’
  • faire un commit puis un push

Outils de dev