On 1/17/24 08:58, Hongyi Zhao wrote:
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.
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
--
lyx-users mailing list
lyx-users@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-users
