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