Re: gitlab out of sync with sourceforge and github repositories

[Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx>]

Actually, I do wonder why we don't use GitLab's built-in mirroring
thing.  Perhaps in order to allow people to submit completion patches to
either GitHub or GitLab at their choice?

Also, while looking into your report I ran into a GitLab message that I
wouldn't have seen otherwise, so, thanks.

Daniel

Jim wrote on Thu, Dec 15, 2022 at 13:01:57 -0600:
> Ignore last message.  Sorry for the noise. A new clone is fine.  Started
> working with
> worktrees and am guessing my local repository is in some state that I
> haven't figured
> out yet. Something else I need to learn about git. Again, sorry for the
> noise.
> 
> Jim
> 
> On Thu, Dec 15, 2022 at 7:47 AM Jim <linux.tech.guy@xxxxxxxxx> wrote:
> 
> > 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
> >