On Sat, Sep 5, 2009 at 18:18, "Martin v. Löwis"<mar...@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
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to