Re: .gitlink for Summer of Code

Eric Lesh [off-list ref] writes:

There is no .git dir for these.  The .gitlink refers back to the main
repository's .git/external/$submodule, which is a full .git dir with
index+HEAD and symlinks back to the .git of the main repo for everything
else.

I don't see any contradiction.

Light checkouts would have an almost empty .git (it still needs an
index, and its own head anyway) and use the .git of the main repo for
everything else.

-- 
Matthieu