Leçon 4 sur 5
Remote, push et pull
Un dépôt distant (remote, souvent origin) héberge une copie partagée. git push envoie tes commits locaux vers le remote.
git pull récupère les commits du remote que tu n'as pas encore. On modélise chaque dépôt par une liste de commits.
# git push -> pour chaque commit local en trop : remote.append(c) # git pull -> pour chaque commit distant en trop : local.append(c)
🎯 Exercice
local a trois commits, remote un seul. 1) git push : ajoute à remote les commits de local qui lui manquent (local[len(remote):]). 2) Un collègue pousse un commit : remote.append("c4"). 3) git pull : ajoute à local les commits de remote qui lui manquent (remote[len(local):]). Affiche len(local).
Leçon PRO
Ce chapitre avancé fait partie de CodeAge PRO. Débloque-le pour continuer ton aventure.
Découvrir PRO →