[plt-dev] pushes & pulls & building

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!