[plt-dev] Revised git intro text

BTW, another way to solve this, given that people who can push can do
this kind of a "DOS attack" is to add a server command to lock the
repository.  The gitolite version that I'm using on the server is
already making sure that requests are properly serialized, so adding a
lock facility would be trivial.  (Even something sophisticated, like
making it possible to lock the repository for only N minutes.)
-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!