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 <[email protected]> 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 - [email protected] - http://www.xs4all.nl/~hanwen -- Han-Wen Nienhuys - [email protected] - http://www.xs4all.nl/~hanwen
