On 23 Aug 2019, at 10:56, Zeev Suraski <[email protected]<mailto:[email protected]>> wrote:
On 23 Aug 2019, at 10:33, Nikita Popov <[email protected]<mailto:[email protected]>> wrote: 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)? No objections here - the separation is fairly meaningless nowadays. On second reading, do you mean to merge the Zend/TSRM into one, or so away with both altogether? I initially read it as the former but based on the reasoning I think you probably meant the latter..? Personally, given the complexity I think this level of granularity makes sense - do we really have that many folks that should have direct access there? Zeev
