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.
Similarly, Adam Harvey aka LawnGnome would also like /Zend karma for the same reasons.
Could this happen?
Thanks!
Andrea Faulds
http://ajf.me/
Hey:
Sent from my iPhone
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/