On Sat, Sep 5, 2009 at 18:18, "Martin v. Löwis"<martin at 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