<div dir="ltr"><div>I... am not exactly sure what happened. But I "turned it off and turned it on again" and it seems to be syncing now.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 10 Jul 2023 at 10:32, Mikolaj Konarski <<a href="mailto:mikolaj@well-typed.com">mikolaj@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> Actually it looks like mirroring is still paused.<br>
<br>
Indeed. The pipeline is green, but it stopped updating<br>
at around the same time as the warning email.<br>
<br>
> I will look into this today.<br>
<br>
Thank you so much.<br>
<br>
Cheers,<br>
Mikolaj<br>
</blockquote></div>