contibuting.md

Create a branch :

Commande git pour créer une branche

git checkout -b nom-de-ma-branche

Add changes

une fois les modification faites il faut les ajouter :

git add -A

Commit (and ammend commits)

une fois les modification ajoutées, il faut commit : (la description est obligatoire et doit être courte)

git commit -m "description de mon commit"

NB : si des modification ont été faite après un commit, il faut les ajouter puis faire un ammend de commit (pour ne pas avoir un arbre git illisible) :

git commit --amend

Push

une fois commit il faut push en créant la branche distante correspondant à la branche locale :

 git push --set-upstream origin nom-de-ma-branche         

si la branche existe déjà il suffit de push (il est possible de force push sur une branche autre que main) :

 git push -f         

Créer une MR

Cliquer sur le lien proposé après le push et créer la merge request, ne pas merge directement c'est toujours bien de review !

Partir sur le main et pull

Une fois la branche merge, il faut revenir sur le main, fetch les changement, pull et recréer une nouvelle branche

Revenir sur la branche principale :

git checkout main

Récupérer les changements distants :

git fetch

Pull les changements distants :

git pull