What to do with newlib git mirror?

[Pedro Alves]

On 03/19/2015 03:56 AM, Mike Frysinger wrote:
> On 18 Mar 2015 16:42, Yaakov Selkowitz wrote:
>> On Wed, 2015-03-18 at 15:19 -0500, Joel Sherrill wrote:
>>> Now that newlib is actually in git, shouldn't this be removed?
>>>
>>> https://sourceware.org/git/?p=newlib.git;a=summary
>>
>> Yes, IMO it should be removed.
> 
> delist it from the gitweb interface at least.  i think that's what we did with 
> other such repos ... we didn't delete them.

Yeah, we didn't delete the old gdb mirror because it's nicer for
archaeological reasons -- we have urls and references to commit hashes
in the git mirror in some commit logs, bugzilla bugs, mail
archives, etc.

The old gdb gitweb url is still accessible, through:

 https://sourceware.org/gdb/wiki/GitMirrors

but the repo is hidden in the main gitweb interface.

Thanks,
Pedro Alves