On Apr 27, John Clements wrote:
>
> I think the key phrase is in the first sentence: you started with
> the assumption that you wanted to do a push. Why was that? My
> guess is that it was in order to share your changes between your
> machines, and to protect against loss of data. It sounds like Eli
> thinks the right solution here is to have a cloned private
> repository on the server side.
That would be a good solution if the only reason for pushing was
indeed to have a remote backup. But I think that in this case Robby
wants to push in changes before Matthew does more renamings.
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
