Failed to clone the git repo of lyx.

[Pavel Sanda]

On Wed, Jan 17, 2024 at 09:58:43PM +0800, Hongyi Zhao wrote:
> However, I am not sure if this setting is correct and can work as
> expected. Because I don't have much experience in this regard.

I can't be of much help here. Just FYI we are in the middle of slow
transition to a new git server, so you update process might need
some tinkering in near future (we'll announce here and on
announce maillist).

Pavel