Something's wrong today with git.lyx.org:lyx

[Pavel Sanda]

On Fri, Nov 10, 2023 at 12:05:11PM +0100, Kornel Benko wrote:
> On master I get
> 	$ git pull
> error: Could not read 343a9749abe4f32e67ef9aae9554ee4bd8dae1b4
> remote: Counting objects: 42, done.
> remote: Compressing objects: 100% (26/26), done.
> remote: Total 26 (delta 22), reused 0 (delta 0)
> Unpacking objects: 100% (26/26), 76.31 KiB | 375.00 KiB/s, done.
> fatal: bad object refs/tags/1.6.2
> error: git.lyx.org:lyx did not send all necessary objects

Can't reproduce. P