subversion-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Daniel Shahaf <...@daniel.shahaf.name>
Subject Re: Removing deleted branches from our mergeinfo
Date Sat, 15 Aug 2015 23:30:06 GMT
Stefan Fuhrmann wrote on Sat, Aug 15, 2015 at 20:18:53 +0100:
> Although we technically could, we will neither merge from
> them (using the branch@rev notation) nor resurrect them
> in the future. Therefore, I'd like to shave off 15k from our
> mergeinfo by removing those unused entries. List below.

15KB of space saving doesn't sound like a noticeable benefit.

> Is there a compelling reason not to do it?

Dogfooding: we shouldn't make changes to our mergeinfo that users cannot
make too.  Would users be able to make such changes to their own
repositories?  (without being with the internals of mergeinfo
implementation)

Cheers,

Daniel

> -- Stefan^2.

Mime
View raw message