The current performance issues with GitLab are known, and a solution is being worked on. No further tickets via the Service Desk are required.