On Thu, Aug 9, 2012 at 2:04 AM, Branko Čibej <br...@wandisco.com> wrote: > On 09.08.2012 06:35, Greg Stein wrote: >> On Aug 8, 2012 4:02 PM, "Branko Čibej" <br...@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
