An official GitHub mirror for LyX?

[Richard Kimberly Heck]

On 12/5/20 2:43 PM, Pavel Sanda 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 :)

Yes, that's true. I tend to forget which is which.

Riki