Admin message

This GitLab instance and associated infrastructure will be undergoing maintenance work throughout the afternoon and evening of Friday November 28th from 16:30 to 20:30. Several brief periods of downtime are possible. Apologies for any inconvenience caused.