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
GIT1 — Les bases : commits, branches, défaire
, 9 h – 12 h 15
GIT2 — Collaborer : worktree, remotes, GitHub
, 9 h – 12 h 15
à venir
Bonus learngitbranching
Jusqu'à 2 points de bonus sur votre note de Git, 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 internes de git
Ce qu'il y a dans .git : les objets (blob, tree, commit) lus avec git cat-file, les branches qui ne sont que des fichiers de 41 octets, HEAD, et pourquoi un commit est un snapshot et non un diff. Pour les curieux, à lire après GIT1.
Évaluation et vos notes
Votre note de Git est celle du quiz papier de 10 min en début de GIT2 (sur 20), à laquelle s'ajoute le bonus learngitbranching, le tout plafonné à 20. Il n'y a pas d'autre devoir.
Votre relevé de notes est consultable à l'adresse personnelle reçue par mail (la même qu'en PE) : gardez ce lien pour vous.