This GitLab instance and associated infrastructure will be undergoing maintenance work throughout the afternoon of Tuesday December 23rd from 14:00 to 18:00. Several brief periods of downtime are possible. Apologies for any inconvenience caused.