> Out of curiosity : is there any mechanism in the post-commit that > checks if "make html" > doesn't spit any error ?
No, there is no such mechanism. There are daily builds which will report errors eventually. Regards, Martin _______________________________________________ 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
