[plt-dev] pushes & pulls & building

On Apr 28, Stevie Strickland wrote:
> Even more so that you don't need to run anything special like a git
> server for it;

(Strictly speaking, there is no such a thing as a "git server" -- in
the plt case, it's just a machine that lets a bunch of people ssh in.)

> I switched to the version above because I plan on coordinating with
> other people like Sam for projects, and I don't want to have to
> create new user accounts on my lab machine for each person with whom
> I want to work.

(Yes, shared work also makes using a central repository attractive.)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!