On Fri, May 17, 2019 at 10:55 PM Marnen Laibow-Koser <mar...@marnen.org> wrote: [...]
> There is already a GitHub mirror of the LilyPond source, so this should be > no problem if I understand you correctly. > Hmm. Although there is a GitHub mirror as I stated ( http://github.com/lilypond/lilypond ), it is out of date: the last commit in master on GitHub is from September 2018, whereas the last commit in master on Savannah is from just a few days ago. Can we get the mirroring working again? (This doesn't much affect what I'm doing, but it would make life easier if the mirror were up to date.) Best, -- Marnen Laibow-Koser mar...@marnen.org http://www.marnen.org _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
