On Mon, 2013-09-16 at 09:08 +0200, Michael Wallner wrote: > On 16 September 2013 03:36, David Soria Parra <d...@php.net> wrote: > > We have recenty discussed a lot of new language features and RFC while our > > github pull requests are continously growing without getting pulled. We > > have 74 open pull request. > > > > So this is a clal for participation in helping to wingle those numbers > > down. If you have karma and can review open changes please feel free to > > merge them. It's very unfortune that we have so many open patches not > > processed. > > How to actually get karma to manage those pull request in github?
Everybody with an github account can comment. As the setup is a bit fragile (i.e. clicking the "pull" button will pull in the mirrored repository, which will cause trouble on next push from git.php.net) we don't handout the "PHP membership" on github too frequently (just trying to have enough to be able to act on issues quickly and avoiding "bus factor" issues) Everybody with a php.net account can use https://qa.php.net/pulls/ to comment on pull requests or closing them. johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
