few minute gitlab downtime

Dear GHC Devs, there will be a short gitlab downtime (few minutes) right now because I need to adjust a setting to fix an issue with the deployment. Best Magnus