You can download the Git repository from the lecture named Using the Git repository in the Getting started section.
Your session expired. Please sign in again to continue.