Nicolas Pitre <nico@xxxxxxxxxxx> 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@xxxxxxxxxxxxxx GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different." -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html