Should we rename the MASTER forest?

[Mark Reinhold]

> Date: Thu, 08 Nov 2007 22:49:03 +0000
> From: Andrew John Hughes <gnu_andrew at member.fsf.org>

> Ok, I'll admit I'm still sceptical about this, but let's see how it works
> out.  I don't see why we need to repeat the name 'jdk7' for master though if
> it's already in the path.  Why not jdk7/jdk?

Because once you'd cloned it you'd find a jdk/jdk directory, and that
could be really confusing.  Redundancy in the URL seems easier to take,
since it won't be replicated locally.

- Mark