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