GitLab/Hosting a project on GitLab

To come: Notes on migrating a project.