Hey: Sent from my iPhone
> On Aug 28, 2014, at 3:32 AM, Andrea Faulds <a...@ajf.me> wrote: > > Good evening, > > I’d like to request /Zend karma so I don’t have to submit a pull request when > I have a trivial fix, like this one: https://github.com/php/php-src/pull/785 > > I know my way around Zend by now (largely from working on bigints), and if I > do have a big change, I’d always pull request it first and make an RFC anyway. I think PR works very well for this case, it's always good to have a review before commit. Zend is a sensitive area, we should always try to keep that crew small. You may have it eventually, maybe when begins is accept, but not now. Thanks > > Similarly, Adam Harvey aka LawnGnome would also like /Zend karma for the same > reasons. > > Could this happen? > > Thanks! > -- > Andrea Faulds > http://ajf.me/ > > > > > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php