github automatically closes requests that it detects as being merged. If you modify them, such as rebase them, you need to close it yourself.
-Hannes On Tue, Jan 6, 2015 at 11:02 AM, Stelian Mocanita < [email protected]> wrote: > 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 > >> > > > > >
