Mentions légales du service
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06 Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
@meidanis ask me if it is possible to see the number of current users logged on the browser.
For the moment, we haven't an easy way to see it from the client. And we didn't mention the way to do it directly from the server neither.
cc @magiraud @mikael-s