Hi internals, We currently have separate karma for the Zend/TSRM directories in php-src. I think this separation has become more annoying than useful at this point. Most changes from newer contributors are approved on GitHub first, and we often have to grant some form of Zend karma for tests if nothing else anyway.
Any objections to dropping this and have a single php-src karma for the whole tree (with the exception of php_version.h, which is used to prevent bad merges)? Regards, Nikita
