Due to a scheduled upgrade to version 18.1, GitLab will be unavailable on Monday 30.06., from 20:00 until 21:00.
Our archived version of the git repo (had to migrate to a new one, because the githistory became too large).