On Sat, Sep 5, 2009 at 18:18, "Martin v. Löwis"<martin@v.loewis.de> wrote:
But it shouldn't happen often that the server refuses a push;
all errors should already be caught on the clients.
We could just mandate the same hook code as a commit hook.
Cheers,
Dirkjan
