update to move to new gitlab server and new repository name