What to do with newlib git mirror?

Pedro Alves palves@redhat.com
Thu Mar 19 16:05:00 GMT 2015

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:


but the repo is hidden in the main gitweb interface.

Pedro Alves

More information about the Newlib mailing list