Bonsoir,
je viens de pousser le matériel de la semaine 5 vers vos repos de groupes.
AVANT de mettre à jour (git pull), je vous recommande fortement d'enregistrer vos modifications en cours (git add + git commit).
Et donc, pour récupérer ces mises à jour, il faut faire :
N'hésitez pas à nous demander de l'aide mercredi si vous rencontrez des soucis avec cette récupération de nouveau matérielle (expliquée dans la donnée de la semaine 5).
J'en profite aussi pour dire que le « tag » par défaut du feedback (c.-à-d. le tag « latest ») sera changé tous les mercredis matins avant 9h00. Et comme expliqué dans les données, les tags par semaine (« week04 », « week05 », ... restent accessibles à partir de la semaine concernée)