To import SSELab Git repositories to Gitlab, the button "Any repo by url" under import projects can be used while creating a new project. While typing in username and password (documented on the site "Import Project") it is necessary to replace the @-symbol in the username by %40, else the import will fail.