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