Aha! I am in the group that controls this :-) I pushed it up to current master.
On Sat, Jan 18, 2020 at 12:04 AM Han-Wen Nienhuys <hanw...@gmail.com> wrote: > > It looks like https://github.com/lilypond was last updated in Jun > 2019. If there was an automated mirror, it has stopped working. Could > someone give it a kick again? > > -- > Han-Wen Nienhuys - hanw...@gmail.com - http://www.xs4all.nl/~hanwen -- Han-Wen Nienhuys - hanw...@gmail.com - http://www.xs4all.nl/~hanwen
