[plt-dev] Revised git intro text

I've generally wanted to lock it for the time it takes me to make a
build. So that doesn't seem so good.

Robby

On Fri, May 7, 2010 at 1:20 PM, Eli Barzilay <eli at barzilay.org> wrote:
> 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!
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>