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