5 minutes ago, Stevie Strickland wrote:
> On Jan 7, 2011, at 3:43 PM, Eli Barzilay wrote:
> > 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).
> Personally, I prefer the other way; that I only affect the main repo
> when I explicitly say so (and thus really mean it).  This is
> especially true when I'm doing branch juggling on my own repository,
> so that I don't accidentally push new branches onto the main
> repository.  It's easy to fix my repository if I screw up, but
> things that hit the main repository are forever (or at least,
> forever in its history somewhere).

I should have clarified:

  It might be more convenient for Robby to flip it

This is following the same guess I have about how his working, where
he only uses the private repo for machine switches.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!
  For list-related administrative tasks:

Reply via email to