Course list Register Sign in

Information

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

Sign in

Sign in

Git: Push the local modifications to the remote repository

This exercise will show you how to synchronize your local history with an history hosted on a remote server (on GitHub, Bitbucket, etc ).

In this example, you have two branches, one local branch master and its copy on origin (which is an alias for your remote repository ). The last commit is in the local history but not in the remote one.

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

If you synchronize both branches, you will bring the reference of the remote master branch to the same commit as the one of the local branch:

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

Pushing these modifications onto the remote history can be achieved with 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