* Gael Guennebaud <[email protected]> [2019-09-05 23:48:06 +0200]:
[...] > - reorder Issues in Issue Board List > - push rules > > > > Do you see reasons to choose gitlab.inria.fr beside the existence of an > > gitlab.inria.fr/eigen? > > > > gitlab.com/eigen is already taken by someone else (same for github) and One can always ask politely for that to be deleted, since clearly it has no use/activity whatsoever :) > gitlab.com is kind of slow, but those are minor compared to the advantages > of the gitlab.com instance. > -- Gustavo Lima Chaves Intel - System Software Products
