This reverts commit ef5b4b8f.

In the current gitlab-ci setup, the same source directory can be reused.
This can lead the command `git remote add <name>` to fail, and so the ci
pipeline, in case the remote already exist.