11 Jul
2023
11 Jul
'23
9:46 p.m.
See above for "true masters" and "problems get out of the way". ;) On Tue, Jul 11, 2023 at 1:59 PM Bryan Richter <bryan@haskell.foundation> wrote:
I... am not exactly sure what happened. But I "turned it off and turned it on again" and it seems to be syncing now.
On Mon, 10 Jul 2023 at 10:32, Mikolaj Konarski <mikolaj@well-typed.com> wrote:
Actually it looks like mirroring is still paused.
Indeed. The pipeline is green, but it stopped updating at around the same time as the warning email.
I will look into this today.
Thank you so much.
Cheers, Mikolaj