Planned downtime to update Gitlab on Monday 3rd August, from 11 am to 12 noon. Thank you for your understanding.
Closes #378 (closed)