GitLab installation and use tutorials for the leanforge platform