Eli Barzilay <e...@barzilay.org> writes: > It is -- it looks like you've missed `git checkout' command. In the > above clone (probably in the others too, but it was too noisy to > follow all the details), you just need to do this: > > git checkout release
Doesn't work: ramer[5] git clone plt plt-release Initialized empty Git repository in /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/.git/ Checking out files: 100% (8688/8688), done. kramer[6] cd plt-release/ kramer[7] git checkout release error: pathspec 'release' did not match any file(s) known to git. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
