Remote repository for the Git crash course.