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