Maintenance operation of our GitLab server is scheduled for Thursday, October 3rd at 2PM. The server will be unavailable for about 2 hours.
Signed-off-by: Mohammed Ismail mohammed.ismail@eurecom.fr