Re: Unable to run test patchy - URI changed for tracker?

[Werner LEMBERG]

>> Github has an API; we could make an actual "lilypond" organization
>> with them.  Granted, that's still putting one's eggs in a
>> commercial company's basket, but at least github is focused on
>> development rather than google's rather broad interests.
> 
> I think using github is a good idea.  [...]

Since Han-Wen works at google, he probably can give advice how to
proceed.


    Werner