[plt-dev] Re: Git dummy needs help

From: Michael Sperber (sperber at deinprogramm.de)
Date: Wed May 19 07:13:07 EDT 2010

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

Posted on the dev mailing list.