The lecture is scheduled on Day 1, Tuesday morning.

Lecturers: Emanuele Olivetti and Rike-Benjamin Schuppner.

Outline of the lecture and demos:

• Version Control: git.
• Scenario 1: single developer, local repository.
• Demo single+local
• Scenario 2: Team of developers, central remote repository. Minimalistic.
• Demo multi+remote
• Extras: git branch, how to set up central repo.

Files:

• PDF slides of the lecture
• git demo, scenario 1
• git demo, scenario 2

Exercises are on a separate page

Git repositories to be used during the school are hosted on escher.fuw.edu.pl. Every students has an account which can be used only for repository access (see the list of login names). Authentication is performed with the ssh public/private key-pair installed on every USB stick. You don't need any special setup: when you run

git clone <username>@escher.fuw.edu.pl:/git/autumnschool/shared

or

git clone <username>@escher.fuw.edu.pl:personal.git

ssh will use the key automatically.

• The git community book

For more control about what files to add to the staging area, it is often practical to use a graphical program. ‘git gui’ usually comes with the distribution and allows for easily picking the files you want to include in the next commit. (There is a share of other graphical tools for any OS available.)

For a common development workflow, have a look at “A successful Git branching model” and there is also a streamlined set of commands especially for this workflow which automatically takes care of switching the branches easily. “Why aren’t you using git-flow?” → http://github.com/nvie/gitflow

• An explanation of Unix file permissions