[syslinux] Alternate git repo

[Sebastian Herbszt]

Gene Cumm wrote:
> Recently there have been discussions off-list about using another repo
> as the primary repository, repo.or.cz in particular. Considering the
> issues until recently with git.zytor.com and the situation with
> git.kernel.org along with the fact I already push to multiple repos, I
> think this may be a good time to look at maintaining multiple official
> repos that are pushable.

What's the situation with git.kernel.org?

> As it stands, repo.or.cz has a repo that's a mirror-mode (not
> pushable) created by Sebastian Herbszt, a past contributor.  There's
> also a namespace on github.com that could be used.

Still lurking around.

> hpa/Matt, with your permission I'd like to work on your behalf to get
> both of these prepared and up to date.

Just contact me if any action is required on my part.
 
> I'll start another thread about which repo(s) should be primary,
> secondary and unofficial.

Sebastian