Um SSELab Git Repositories nach Gitlab zu importieren, kann beim Erstellen eines neuen Projektes in Gitlab unter Import Projects der Button "Any repo by url" genutzt werden. Bei der Eingabe von Benutzername und Passwort (auf der Import Project Seite dokumentiert) ist zu beachten, dass das @-Zeichen im Benutzernamen durch %40 ersetzt werden muss, sonst schlägt der Import fehl.