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=innova...@gnu.org> on behalf of Han-Wen Nienhuys <hanw...@gmail.com> Sent: Saturday, January 18, 2020 12:04:15 AM To: lilypond-devel <lilypond-devel@gnu.org> 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 - hanw...@gmail.com - http://www.xs4all.nl/~hanwen