Course list Register Sign in

Information

Author(s) Mathieu Jadin
Deadline Geen deadline
Submission limit No limitation

Sign in

Sign in

Git: Push les modifications de l'historique sur le repository distant

Cet exercice vous montre comment synchroniser votre historique local avec un historique sur serveur distant (sur Github, Bitbucket ou autre).

Dans cet exemple, vous avez deux branches, une branche locale master et sa copie distante sur origin (un alias pour votre repository distant). Le dernier commit est dans l'historique local mais pas dans celui distant.

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

Si vous synchronizez les deux branches, vous allez ramener la référence de la branche master distante sur le même commit que celui de la branche locale:

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

Push des modifications locales sur l'historique distant se fait avec git push (voir documentation).

Téléchargez l'archive qui contient déjà un repository cloné dans le sous-dossier clone. Poussez les changements locaux sur la copie distante. Une fois que c'est fait, ré-archivez le dossier complet et uploadez-le.

Notez que la copie distante 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-push/
├── bare.git/
|   └── [...]
└── clone/
    └── [...]

Max file size: 1.0 MiB
Allowed extensions: .zip