Failed to clone the git repo of lyx.

[Hongyi Zhao]

On Wed, Jan 17, 2024 at 9:41 PM Hongyi Zhao <hongyi.zhao at gmail.com> wrote:
>
> On Wed, Jan 17, 2024 at 9:34 PM Hongyi Zhao <hongyi.zhao at gmail.com> wrote:
> >
> > Now, I created the latest git repo of lyx on GitHub with my account as follows:
> >
> > https://github.com/hongyi-zhao/lyx
> >
> > The steps are as follows:
> >
> > git clone https://github.com/unimiso/lyx_mirror.git lyx.git
> > cd lyx.git/
> > git remote set-url origin git://git.lyx.org/lyx.git
> > git pull
> > # Create an empty GitHub repo from scratch, and then do the following:
> > git remote set-url origin https://github.com/hongyi-zhao/lyx.git
> > git push
>
> The current issue is: How can I regularly create a workflow that
> automatically fetches updates from git://git.lyx.org/lyx.git to my
> repository above? If I can achieve this, my repository can be
> automatically, periodically checked, and synchronized with the
> official upstream repository.

Now, I've set up a workflow in GitHub that periodically updates my
repository from the lyx official upstream repository
(git://git.lyx.org/lyx.git). See below for more details:

https://github.com/hongyi-zhao/lyx/blob/master/.github/workflows/sync.yml

However, I am not sure if this setting is correct and can work as
expected. Because I don't have much experience in this regard.

> > Regards,
> > Zhao