[racket-dev] Git

Yesterday, Robby Findler wrote:
> 
> So I did this ("git" means "git.racket-lang.org" in my ssh setup as
> I did things that way before Eli's recommendation changed)
> 
>   git clone git:robby/plt
>   git remote add plt git:plt

It might be more convenient to flip it -- clone git:plt first, and
then add a remote for git:robby/plt, so operations go to the main repo
by default and to your copy only when specifically requested (which
happens when you move).

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!