[racket-dev] Git

From: Stefan Schmiedl (s at xss.de)
Date: Thu Jan 6 06:06:47 EST 2011

On Thu, 6 Jan 2011 04:43:12 -0500
Eli Barzilay <eli at 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 :-)


Posted on the dev mailing list.