On Sat, Dec 05, 2020 at 10:41:26PM +0100, Thibaut Cuvelier wrote: > 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).
Feel free to mirror it in whatever system you prefer :) I honestly do not understand why the desire to call it 'official', it gives you nothing more compared to the situation you publicly mirrored lyx on github/gitlab on your own except of some burden of responsibilty to keep it maintained... Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel