Re: Fwd: Cabal/ | Repository mirroring paused

See above for "true masters" and "problems get out of the way". ;) On Tue, Jul 11, 2023 at 1:59 PM Bryan Richter 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 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