download the essential files from WebDav
(this makes the repository ready for cleaning)
SIU will perform a maintenance in the server room on Thursday 24th October which will cause Gitlab to be unavailable for sometime. Thanks for your understanding
(this makes the repository ready for cleaning)