Hi all, A couple of heads ups:
1. the gitlab container may tell your it's booting some times again today because I'm upgrading its host. This should only take a couple of minutes at most 2. CI might be impaired since we have some issues with gitlab's docker registry 3. if you're missing some of your commits on the MR, it doesn't mean they're lost, it means they will appear later. We currently have a bunch of load on the background task queue and when we catch up your stuff will start appearing.
Best Magnus _______________________________________________ ghc-devs mailing list -- [email protected] To unsubscribe send an email to [email protected]
