On Thu, 6 Jan 2011 04:43:12 -0500
Eli Barzilay <e...@barzilay.org> wrote:

> Actually, assuming that Robby wants to push from either place to the
> main repository, having the default be the local one is something that
> will be easy to trip over.
> 

I assumed the alternative, since Robby wrote:

> I'd like to move from one machine to another without pushing to the main repo.

Assumptions are fun :-)

s.
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to