On Thu, 19 Dec 2019, Jason Merrill wrote:

> So a 30% space savings; that's pretty significant.  Though I wonder how
> much of that is refs/dead and refs/deleted, which seem unnecessary to carry
> over to git at all.  I wonder if it would make sense to put them in a
> separate repository that refers to the main gcc.git?

refs/dead is definitely relevant sometimes; that's old development 
branches.  refs/deleted is less clearly relevant.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to