Gitlab has been updated. More info here and there.
0cadc749423a5db4562da8bf19ece6b8304d21d9
14 commits (jan.polcher@lmd.jussieu.fr)