+1 Cheers Joe
On Fri, 23 Aug 2019 at 10:33, Nikita Popov <nikita....@gmail.com> 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)? > > Regards, > Nikita >