> On 19 Jan 2020, at 00:00, David Kastrup <d...@gnu.org> wrote: > > Erlend Aasland <erlen...@innova.no> writes: > > GitHub is putting our eggs in Microsoft's basket. Not too enthused > about that idea.
Technically, you already did, since there is a GitHub LilyPond mirror… E > If I remember correctly, GitLab had some size > restrictions that clearly are not going to fly with LilyPond. > > -- > David Kastrup
