Hi everyone,
Just an observation. Since I submitted a question on the mirrors back in January
I keep a copy of all 3 repositories. I manually run a script that updates all of them
from time to time. What I have noticed is(at times) gitlab may take a couple of
days(maybe more) to be in sync with the other two. Most of the time all three seem
to stay in sync. As an example for the last couple of "my day times":
sourceforge: zsh-5.9-88-g6d49734d4
github: zsh-5.9-88-g6d49734d4
gitlab: zsh-5.9-85-g67d4bf5bb
Don't know if this is an issue or a procedural thing. Just my observation.
Thought I would let you know in case there may be an issue. If this is normal,
sorry for the noise.
Again, thanks to all for your work on zsh.
Regards,
Jim Murphy