On Mon, Apr 11, 2016 at 4:25 PM, sebb <seb...@gmail.com> wrote: > On 11 April 2016 at 23:44, Gary Gregory <garydgreg...@gmail.com> wrote: > > On Mon, Apr 11, 2016 at 3:41 PM, sebb <seb...@gmail.com> wrote: > > > >> On 11 April 2016 at 22:56, Benson Margulies <bimargul...@gmail.com> > wrote: > >> > I'm assuming this code hasn't been moved to git, based on the lack of > >> > discussion of same on the relevant web page. > >> > > >> > >> AIUI the dist/ tree will never be moved to Git because it has so much > >> data in it, and it's not possible to check out a part of a Git repo. > >> > > > > Really? > > Yes, Git repos can only be checked out wholesale. > And when you clone a repo, you will get everything, including all the > history. > > You can do a git clone with --depth to do a shallow clone, this way you don't download the full history.
Doesn't help with the subtrees though.
