> The second time I try that in any directory where I've done <git > clone> earlier, it works fine. Is this normal?
Oh, I bet I know what's going on. I did <git pull> in a directory which was a copy of the directory I had pulled down. It must be comparing the hash of the enclosing directory's name with the hash of the original enclosing directory's name. _______________________________________________ MIT-Scheme-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/mit-scheme-devel
