Short gitlab outage

Dear GHC Devs, We were having a short outage due to gitlab's background services putting on too much memory pressure and the oomkiller kicking in. To reduce the risk for this to happen, I have applied a small config change that will restart the gitlab container resulting in a few more minutes of downtime. We should be all good at 14:15 CEST. Best Magnus