Lab for Automated Reasoning and Analysis LARA

Fetching new files from our repository

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:

Pulling from the Command Line

Setting the upstream remote branch

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

  git remote add upstream

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

Pulling new changes

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.

Avoiding 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
sav13/labs_fetch.txt · Last modified: 2013/03/12 15:14 by ekneuss
© EPFL 2018 - Legal notice