[plt-dev] Re: Git dummy needs help

Eli Barzilay <eli at 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