updated for gitlab-research and new repository names

2 jobs for 57-update-to-move-to-new-gitlab-server-and-new-repository-name in 33 seconds (queued for 46 seconds)
Status Job ID Name Coverage
  Build
passed #2515
riseclipse
build

00:00:16

 
  Deploy
passed #2516
riseclipse
deploy

00:00:17