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 git@gitlab.epfl.ch:dedis/cs438/students/<repo-name>.git
# or over HTTPS
$ git remote add origin https://gitlab.epfl.ch/dedis/cs438/students/<repo-name>.git
If you still experience problems, don't hesitate to write back.
Best regards,
The CS-438 team
