Zitat von Stefan Krah <ste...@bytereef.org>:
After all, 99.99% of issues are either found by developers themselves or by gcc, Visual Studio, Valgrind, etc. It just occurred to me that for example we don't credit other tools in commit messages.
I agree that Coverity doesn't need to be mentioned in commit message. We do cite tools occasionally, but in a negative way, such as "silence gcc warning", where the commit message and/or comment explains why some code is ugly for some non-obvious reason. 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