Just an FYI for those who have been struggling with running a git server for version control: GitHub now allows unlimited private repositories on the free tier. The main catch is that only 3 contributors are allowed per repository, but that still makes it possible to collaborate on (large) projects: https://blog.github.com/2019-01-07-new-year-new-github/
Hope this helps someone to better manage their scores. Regards, Patrick Hubers
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
