How to use this course

You can download the Git repository from the lecture named Using the Git repository in the Getting started section.