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 _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
