Gitlab repositories paths

Picture of Cristina Basescu
Gitlab repositories paths
by Cristina Basescu - Thursday, 14 January 2021, 17:34

Dear students,

We've reorganized our lab's Gitlab repositories, which, unintended by us, has also affected the student repositories in CS-438. Thus, you might have had problems to access your repositories in the past few hours. We apologize for the inconvenience.

Fortunately, getting back access is simple: please edit your .gitconfig file in your repo and add dedis/ in front of cs438/ in the repo path. So, instead of cs438 for the remote's path, you'd use dedis/cs438/... . This holds for both the homework and the project repositories. For example:

$ git remote remove origin
# if you use gitlab with SSH
$ git remote add origin<repo-name>.git
# or over HTTPS
$ git remote add origin<repo-name>.git

If you still experience problems, don't hesitate to write back.

Best regards,

The CS-438 team