What to do with newlib git mirror?
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?
>> 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
The old gdb gitweb url is still accessible, through:
but the repo is hidden in the main gitweb interface.
More information about the Newlib