On Thu, Sep 13, 2012 at 12:54:22PM -0500, Eric Sandeen wrote: > hch, you want to remove or somehow deprecate the kernel.org trees? I'll replace them with a Checkin that just has a file mentioning that the trees have moved.