Re: [webkit-dev] Shrinking Git clone size (WebKit Transition to Git)