GitLab status

Ryan Scott at
Mon Jun 22 10:34:53 UTC 2020

Just as an FYI, there appears to be some data loss from this migration. For
example, I pushed a commit to !3536 [1] that appears to have been dropped,
leading to confusion here [2]. To make things worse, I never received an
e-mail notification for this comment—I only discovered it by chance.

I also opened an issue about FUN, but that appears to have been lost. I
could try to resubmit it, but perhaps the data still exists somewhere on
servers somewhere?

Ryan S.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list