Re: Call for participation: github pull request
On Mon, Sep 16, 2013 at 9:08 AM, Michael Wallner <[email protected]> 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?
>
Ask David or Johannes, but it seems we are strict on handing out that
karma, because it would screw up the mirroring if somebody accepts a pull
request through the github interface (instead of merging and pushing
through git.php.net)
--
Ferenc Kovács
@Tyr43l - http://tyrael.hu
Thread (6 messages)