Admin message

On the 30th of July from 18:00 to 19:00, we will be upgrading GitLab. During this time the service will be unavailable, apologies for any inconvenience