This GitLab instance and associated infrastructure will be undergoing maintenance work throughout the afternoon of Monday June 1st from 16:30 to 18:30. Several brief periods of downtime are possible. Apologies for any inconvenience caused.