Git
UE12, 1re année : deux séances de 3 h, le 17 septembre et le 22 octobre 2026, pour comprendre enfin ce que vous faites quand vous tapez add, commit et push.
En ce moment
Les 2 séances
Bonus learngitbranching
Jusqu'à 2 points de bonus sur votre note de PE, en résolvant les niveaux du jeu learngitbranching : +1 pour la séquence principale (20 niveaux), +1 pour la séquence distante (16 niveaux). Votre progression est à déposer dans votre dépôt git-homework avant le .
Pour aller plus loin
Les annexes
Un seul jeu de slides, cinq parties qui se lisent seules : les internes de git (objets blob/tree/commit, git cat-file ; après GIT1), rebase (rejouer ses commits, la règle d'or, PR à jour par push --force-with-lease), reflog (retrouver un commit « perdu »), intégrer d'autres dépôts (git cherry-pick, histoires sans ancêtre commun) et gh, GitHub en ligne de commande (installer, se connecter, forker, ouvrir une PR) ; ces quatre-là après GIT2.
Évaluation
Il n'y a pas de note de Git, ni quiz ni devoir. Seul le bonus learngitbranching compte : il s'ajoute à votre note de PE.
Vous le verrez sur votre relevé de PE, à l'adresse personnelle reçue par mail.