GitLab down

Ben Gamari ben at
Mon Oct 26 21:25:50 UTC 2020

Richard Eisenberg <rae at> writes:

>> On Oct 23, 2020, at 10:05 AM, Ben Gamari <ben at> wrote:
>> GitLab is back up and notification email has been restored.
> I'm seeing new emails -- thanks. Should we expect to get the notifications that weren't delivered yesterday?
I'm afraid not. It looks like GitLab believes that the messages were
sent and I don't see any easy way to reconstruct which were lost.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list