[syslinux] Alternate git repo

[H. Peter Anvin]

On 06/14/2015 03:32 PM, Sebastian Herbszt via Syslinux wrote:
> Gene Cumm wrote:
>> On Sat, Jun 13, 2015 at 6:14 PM, Sebastian Herbszt <herbszt at gmx.de> wrote:
>>> Gene Cumm wrote:
>>>> 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.
>>
>> Thanks.  The unfortunate part of switching from mirror-mode is that
>> the current would have to be renamed (if that's even possible) or
>> deleted.
> 
> Renaming of repositories is not documented. The repo.or.cz page [1] says
> "if you want to switch from mirroring to push mode or vice versa just
> delete and recreate the project."
> 
> [1] http://repo.or.cz/regproj.cgi
> 

OK, repo.or.cz is populated... just please double-verify your user names
with me.

	-hpa