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