An official GitHub mirror for LyX?

[Pavel Sanda]

On Sat, Dec 05, 2020 at 07:48:23PM +0100, Thibaut Cuvelier wrote:
> What do you think of it? I already made a quick search in the mailing list,
> but I did not the topic being discussed.

Looks fine to me as well, though if you don't have strong preference,
gitlab might be ideologically better option :)

It seems you can setup the mirror with 5min update window:
https://docs.gitlab.com/ee/user/project/repository/repository_mirroring.html

Pavel