Gitlab has been updated. More info here and there.
a0da2d7180b4e212cf9affc3495b21adc0707187
1883 commits (guez@lmd.ens.fr)
9 commits (lionel guez)