On Sat, 5 Dec 2020 at 20:43, Pavel Sanda <sa...@lyx.org> wrote: > 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 >
To have a larger user base and better performance, GitHub is the better option (more tools work out-of-the-box with it). GitLab has a clunkier interface, in my opinion, but possibly more features than GitHub. Both are good choices, I'd say. If there is a will to replace Trac in the future while keeping a self-hosted solution, then GitLab may be a better choice, because it is open source. >From an ideological point of view, I'd rather go with something else than Git to start with :p (Darcs/Pijul and their carefully designed patch theory).
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel