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 -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel