I have noticed this lag multiple times, so it's not a one off.

On Sat, Dec 17, 2022 at 2:14 PM Daniel Shahaf <d.s@daniel.shahaf.name> wrote:

Now, I'm not even sure whether the lag observed this week was a one-time
thing or not. However, should we determine that the GitLab mirror's
settings need to be changed, Oliver and I can effect such changes.

Daniel

I have noticed this lag multiple times before, so it's not a one off. Generally GL catches

up with the others within 24 to 48 hours AFAICT(don't have actual numbers). But since I

manually update, and not every day, I really couldn't tell you how often this occurs or if

there is some pattern.

Regards,

Jim