On Sun, May 19, 2019 at 8:43 AM Federico Bruni wrote:
> The Github mirror was set up by two persons who stopped contributing to
> LilyPond a few years ago.
> You may ask them to add you as admin.
>
Unfortunately there appears to be no way of telling who the owners are from
the GitHub UI. If you
Il giorno sab 18 mag 2019 alle 22:01, Marnen Laibow-Koser
ha scritto:
On Fri, May 17, 2019 at 10:55 PM Marnen Laibow-Koser
mailto:mar...@marnen.org>>
wrote:
[...]
There is already a GitHub mirror of the LilyPond source, so this
should be
no problem if I understand you correctly.
Hmm
