[syslinux] Alternate git repo

[H. Peter Anvin]

On 06/13/2015 07:27 PM, Gene Cumm via Syslinux wrote:
> On Sat, Jun 13, 2015 at 6:14 PM, Sebastian Herbszt <herbszt at gmx.de> wrote:
>> 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?
> 
> I currently have access to push to the official repo at git.zytor.com
> but not git.kernel.org.  It's my understanding that getting me access
> to git.kernel.org would take quite a bit of effort, approvals, and
> probably exceptions.
> 

I think we should drop the repo on kernel.org.  There is simply no way
to keep it up to date at this point, and it's not really worth the effort.

	-hpa