Nicolas Pitre [off-list ref] writes:
The fact that the git repository on gcc.gnu.org has lots of stuff in
"remote" branches that don't get cloned by default is a separate
configuration/policy issue on that server which might need (or not) to
be looked into. For instance at least, as a bare repository, it should
have all the git files in gcc.git/ directly instead of gcc.git/.git/.
The remote is just a git-svn tree.
Andreas.
--
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."