use the correct gitlab repository url. Fixes #2