[syslinux] git repo: primary/secondary/unofficial

[H. Peter Anvin]

On 06/14/2015 01:33 PM, Geert Stappers via Syslinux wrote:
>>
>> 5_ github.com is popular. Would having a github repo attract additional 
>> valuable developers (with the adequate skills)? Or would it result in 
>> more maintenance than it would be worth?
> 
> Popular should not be a reason to choose.
> 

Only to the extent that continuity is expected.  Github is not going
away any time soon, but it could descend into the morass that
Sourceforge has become.  repo.or.cz is a small operation, but I trust
the operator.

	-hpa