> I'm going to call > > git push --mirror g...@github.com:lilypond/lilypond.git > > to update the github mirror. However, this will cause the following > changes:
I've now done a push, and it seems to have worked correctly. Please
check.
Werner
