+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
>

Reply via email to