That particular one I rebased (squashed) since there were 3 commits with minor changes, will close it by hand
On Tue, Jan 6, 2015 at 8:05 PM, Hannes Magnusson <[email protected] > wrote: > 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 >> >> >> > >> > >> > >
