[plt-dev] Re: Git dummy needs help

Eli Barzilay <eli at barzilay.org> writes:

>   * and if you really want a new "plt-release", and you really don't
>     want to re-clone the plt repository, then just copy yours:
>       cd ~/build; cp -a plt plt-release
>       cd plt-release; git checkout release
>
> My guess is that you think that `git clone' would do that last bullet,
> but it isn't.

Yes, that's what I had thought.  Your explanation has cleared it all up
(hopefully ...)  Thanks!

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla