updated for gitlab-research and new repository names

2 jobs for 28-update-to-move-to-new-gitlab-server-and-new-repository-name in 29 seconds (queued for 49 seconds)
Status Job ID Name Coverage
  Build
passed #2517
riseclipse
build

00:00:15

 
  Deploy
passed #2518
riseclipse
deploy

00:00:14