Re: Call for participation: github pull request
On Mon, 2013-09-16 at 09:08 +0200, Michael Wallner wrote:
> On 16 September 2013 03:36, David Soria Parra <[email protected]> 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
Thread (6 messages)