Re: Remove special Zend karma
| From: | Stanislav Malyshev | Date: | Fri, 23 Aug 2019 21:08:36 +0000 |
| Subject: | Re: Remove special Zend karma | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-106701@lists.php.net to get a copy of this message | ||
Hi!
> 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)?
Makes sense to merge Zend karma into php-src karma (I imagine smaller
karma sets, e.g. for tests or specific ext only, remain?).
--
Stas Malyshev
smalyshev@gmail.com