New proof steps for instantiation, manual updated
Created by: SimonGuilloud
GitLab upgrade to version 17.6.2 on Monday (https://go.epfl.ch/CHG0045788) may have caused issues for users using password authentication for git push and similar. If that is your case, and especially if you are in a pinch w.r.t. assignment deadlines, please reach out directly to gitlab-admins@groupes.epfl.ch, Cc 1234@epfl.ch . Meanwhile, you can work around the issue by using an SSH key pair: https://gitlab.epfl.ch/help/user/ssh.md . Watch this space for updates and further instructions.
Created by: SimonGuilloud