>Not a patch ... it is a whole file. I called it "git-wget", but it might
>also want to be called "git-pulltop".
It's been pointed out to me that I based this script on a pre-historic version
of ls-tree from sometime last week. Modern versions print the mode with %06o
so there is a leading 0 on the mode for a directory. Just change
if [ $mode = 40000 ]
if [ $mode = 040000 ]
to fix it.
The script might also be useful for anyone behind a firewall that blocks
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html