Short gitlab downtime to apply a fix

Dear GHC Devs, there will be a planned 5 minutes gitlab downtime now to apply a fix that causes sporadic 500s due to file descriptor exhaustion in one of the services. Best Magnus