Re: github mirror of lilypond?

[Erlend Aasland]

Is there a reason _not_ to use GitHub for 
development/bugtracking/wiki/planning? The current dev model is, to put it 
mildly, and in lack of better words, cumbersome and archaic. GNU licences are 
AFAICS supported by GitHub, so that can’t be a showstopper. If we had a more 
modern development model, it would perhaps be easier to engage new (and old) 
developers. No offence meant for those of you who like the current dev model!


Erlend


________________________________
From: lilypond-devel <lilypond-devel-bounces+erlend.aasland=address@hidden> on 
behalf of Han-Wen Nienhuys <address@hidden>
Sent: Saturday, January 18, 2020 12:04:15 AM
To: lilypond-devel <address@hidden>
Subject: github mirror of lilypond?

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 - address@hidden - http://www.xs4all.nl/~hanwen