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