Planned downtime to update Gitlab on Thursday 8 July, from 10 am to 12 noon. Thank you for your understanding.
Closes #16 (closed)