On Thu, Aug 9, 2012 at 2:04 AM, Branko Čibej <brane_at_wandisco.com> wrote:
> On 09.08.2012 06:35, Greg Stein wrote:
>> On Aug 8, 2012 4:02 PM, "Branko Čibej" <brane_at_wandisco.com> wrote:
>>> ...
>>> That would be wrong. We /know/ that different URLs can point to the same
>>> repository. IMO whoever is administrating the Serf repo should just
>>> change the UUID and handle the consequences. UUIDs are supposed to be
>>> unique (in general) and also unique repository identifiers (in
>>> Subversion's case), and the fact that the Serf repo was created with an
>>> existing UUID is just an administrative oversight that happens to break
>>> Subversion's assumptions.
>> I don't think Google Code provides a way to do that :-(
>
> Eh well, I didin't really expect it to.
>
> But it's quite funny that the repositories of two core dependencies of
> Subversion would manage to break a basic assumption. :)
hehe... yeah. :-P
We could actually change the UUID on svn.webdav.org without too much
trouble (Joe and I are the admins), but I'm not sure Joe would be all
that appreciative of breaking his working copies...
Cheers,
-g
Received on 2012-08-09 08:07:53 CEST