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!
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
