Resolve "update to move to new gitlab server and new repository name" Closes #15 See merge request !14