> 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