On the same topic, since github is just a mirror for the files and the patches are applied to git.php what happens to the pull request afterwards?
On Tue, Jan 6, 2015 at 6:56 PM, Stelian Mocanita <[email protected] > wrote: > Hi, > > Added myself to the watch list, should be easier to track now, thanks for > the tip. > > Stelian > > On Tue, Jan 6, 2015 at 6:53 PM, Ferenc Kovacs <[email protected]> wrote: > >> >> >> On Tue, Jan 6, 2015 at 6:34 PM, Stelian Mocanita < >> [email protected]> wrote: >> >>> hello, >>> >>> currently it is very hard to track pull request coming from GitHub since >>> I >>> get no notifications. >>> >>> would it be at all possible to join the organization so I can get some >>> heads up on incoming pull requests for conference? >>> >>> thank you, >>> Stelian >>> >> >> hi, >> >> you can watch https://github.com/php/web-php and use the github >> infrastructure to receive notifications or you can subscribe to this list ( >> [email protected]) because any pull request created against >> https://github.com/php/web-php/ will trigger a mail to the list >> (see >> http://git.php.net/?p=web/master.git;a=blob;f=github-webhook.php;h=e3097c2e190b52e7b609ed70bab175b80917f92c;hb=HEAD#l41 >> for details) >> >> -- >> Ferenc Kovács >> @Tyr43l - http://tyrael.hu >> > >
