An official GitHub mirror for LyX?

[Pavel Sanda]

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