Is it normal that our project repo and all laboratory repo's have been deleted?
Project repo deleted
We've reorganized our lab's Gitlab repositories, which, unintended by us, has also affected the student repositories in CS-438. 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 firstname.lastname@example.org: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.
The CS-438 team
The repo permissions haven't changed, just the path in the way we mentioned. Your project repo path seems to be "email@example.com:dedis/cs438/students/cs438-proj-7.git" or "https://gitlab.epfl.ch/dedis/cs438/students/cs438-proj-7.git" and you still have rights on that repository.
Could you be more precise, what exactly doesn't work?
remote: The project you were looking for could not be found.
fatal: Could not read from remote repository.
Please make sure you have the correct access rights and the repository exists.
I can see my previous repos and the project repo now. I think you indeed need to re-grant permissions.
DEDIS engineer here.
First of all, allow me to apologize to you, I caused the issue and I'm working hard to fix it as soon as possible. I did not mean to impact you in any way.
Thank you Huan-Cheng for confirming that it works for you know.
Everyone else: thank you for your patience, you'll gain back access to your repos soon, I'm automating the fix and then I'll deploy it - hopefully this afternoon, tomorrow at the latest.
The suggested fix is necessary. It is not sufficient however.
Hang in there. Working on it.