> On 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)?
>
No objections here - the separation is fairly meaningless nowadays.
Zeev
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
