subversion-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Daniel Shahaf <>
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



> -- Stefan^2.

View raw message