Failed to clone the git repo of lyx.

[Richard Kimberly Heck]

On 1/17/24 08:58, Hongyi Zhao wrote:
> 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.

I'm not sure how many people here have tried that kind of thing.

Now that you have the repo, updating from the official git repo should 
be pretty fast. You can change your local copy to point to that instead, 
if you wish.

Riki