Skip to content
Dropsolid Help Center home page
Product documentation
DevOps Cloud

2020-04-16 The switch to gitlab

Since 16/04/2020, Dropsolid Experience Cloud no longer uses git repositories on the development servers, but uses a dedicated self-managed Gitlab setup.

What's the benefit?

by switching to Gitlab, we give developers the possibility to use features like merge requests, visual code review, inline code changes, ...

In the future other functionality may be enabled too, like CI pipelines, fine grained project access,...

What changed in the background

  • All repositories were moved to the Gitlab instance
  • All projects were updated with the new git and gitlab url
  • All users and ssh keys were synced (and are kept in sync) to the gitlab instance.
  • All deploy pipelines were adapted to clone/pull from the gitlab repo's
  • Project creation was adapted to create the git repository on the gitlab instance

What do I need to change?

The git remote of your repo

The git remote changed from <project_name>@<development_server>:<repository_path> to<project_name>.git

You most likely only need to change the remote on your local machine(s). But if you used the repo in e.g. a CI tool, please don't forget to also update the remote there


  1. find the name of the remote pointing to the development server of your project This will most likely be origin, and you can find it as first word on the output lines.

    git remote -v
    origin (fetch)
    origin (push)
  2. Update the remote with the new url structure This assumes origin is the name of the remote

    git remote set-url origin
  3. Check if the remote url was updated

    git remote -v
    origin (fetch)
    origin (push)
  4. Verify you can access the new repo location This command should not give any error messages as repsonse

    git fetch


I get an error while cloning/pulling/pushing a repo

# remote: The repository url you are looking for is:<project_name>.git
fatal: '/var/repositories/customprojects_D8/<project_name>' does not appear to be a git repository
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Please see the explanation above how to update the remote of your project.

Send us your question

Do you still have unanswered questions or do you want to make some adjustments to your project? Don't hesitate to ask us your question at or at +3293950290.