As announced, Gitlab in Renkulab will be shut down this beginning of 2026. The date is finally here: February 10th will be its last day. Ensure that you migrate all your code repositories out of Renkulab Gitlab before then.
We have updated migration guidelines here. Do not forget to redirect any link to Gitlab Renkulab to your new repository by filling in this form.
Thank you for your understanding!