Admin message

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