Yesterday, Robby Findler wrote:
> So I did this ("git" means "" 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:
                             Maze is Life!
  For list-related administrative tasks:

Reply via email to