On Wed, Jan 17, 2024 at 9:41 PM Hongyi Zhao <hongyi.z...@gmail.com> wrote: > > On Wed, Jan 17, 2024 at 9:34 PM Hongyi Zhao <hongyi.z...@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 -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
