GitLab is down: urgent

Richard Eisenberg rae at
Fri Mar 19 13:59:26 UTC 2021

Hi Ben,

Thanks for getting the fix in so quickly.

However: suppose you were unavailable to do this, due to a well-deserved holiday perhaps. Who else has the credentials and know-how to step in?

I feel as if we should have a resource somewhere with a definitive list of critical services and who has access to what. Perhaps this list should be kept private, in case the knowledge itself is a (small) security risk -- but it should be written down and shared widely enough that it is unlikely for all people with access to be unavailable at the same time.

Do we have such a resource already?


> On Mar 19, 2021, at 9:47 AM, Ben Gamari <ben at> wrote:
> Simon Peyton Jones via ghc-devs <ghc-devs at> writes:
>> GHC's GitLab seems to be down.  Ben?
>> (I just get 502's)
> Everything should now be back to normal. I have sent a post-mortem
> describing the failure mode and fix. Apologies for the inconvenience!
> Cheers,
> - Ben
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list