2015-11-13 6:02 GMT+01:00 Henning Hraban Ramm <lilypon...@fiee.net>: > Why not combine the options? Use GitHub as long as it makes sense, but always > keep a mirror on OLL server.
That's my opinion, too: option a), plus mirroring the repositories at git.openlilylib.org. _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user