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:
http://lists.racket-lang.org/listinfo/dev
