We will usually give you new stubs and files for each lab. Instead of sending you the files and letting you merge them within your repository, we will use the machinery provided by git to do this.

We provide you with instructions on how to do that within Eclipse as well as in the command-line:

This operation sets a remote branch pointing to the main repository, files will be distributed through this main repository:

  git remote add upstream git@larasrv05.epfl.ch:sav2013-main

This operation needs to be performed only once for your local git repository.

Once the remote branch is set up, simply pull the new changes from that branch into your working branch (typically master):

  git pull upstream master

If you experience conflicts during the merge, fix the files by hand, then git add them and finally git commit the changes to resolve the conflicts.

In case you fear pulling will result in a lot of conflicts, feel free to look at the code as it is on the main repository, by e.g. cloning it.

  got clone git@larasrv05.epfl.ch:sav2013-main