The domain of Teaching GitLab has changed to gitlab.comp.anu.edu.au. Please update your lab guides, etc. to use the new domain. (The old .cecs. domain will continue to work.)