Informations

Auteur(s) Mathieu Jadin
Date limite Pas de date limite
Limite de soumission Pas de limite

Se connecter

Git: Syncroniser la copie locale avec celle distante

Quand vous travaillez à plusieurs, il est possible que des commits soient présents sur le repository mais pas sur votre historique local. Comme ceci:

https://inginious.org/course/git/git-pull/git-before-pull.svg

Vous devrez pull les modifications distantes sur votre branche principale. Comme vous n'avez aucun commit local qui ne trouve pas déjà dans la copie distante, pull va juste mettre à jour la branche locale.

https://inginious.org/course/git/git-pull/git-after-pull.svg

Maintenant imaginons que vous avez un commit local non poussé sur la copie distante:

https://inginious.org/course/git/git-pull/git-before-pull-2.svg

A ce moment, si vous utiliser pull, git va vous créer un commit supplémentaire qui fusionne les deux branches.

https://inginious.org/course/git/git-pull/git-after-pull-2.svg

Vous devrez push le nouveau commit sur la copie distante pour achever la synchronisation.

https://inginious.org/course/git/git-pull/git-after-push-2.svg

La commande correspondante est git pull (voir documentation).


Téléchargez l'archive qui contient déjà un repository cloné dans le sous-dossier clone. Synchroniser-le avec son repository distant. Une fois que c'est fait, ré-archivez le dossier complet et uploadez-le.

Le message de commit de fusion devra être "MERGE".

Notez que le repository "distant" dans cet exercice n'est pas sur github ou dans bitbucket mais dans le dossier bare.git de l'archive.

Votre soumission devra avoir l'architecture suivante:

git-pull/
├── bare.git/
|   └── [...]
└── clone/
    └── [...]

Taille fichier max. : 1.0 MiB
Extensions autorisées : .zip