Re: [PR][php-langspec][#48][master] - Types section cleanup:

On Sun, Aug 3, 2014 at 3:51 PM, Sean Coates <sean@seancoates.com> wrote: > FWIW, the following message came from me commenting on Stas's PR, but it > kind of looks like a new PR in the message. CCing systems@ in case > someone has a quick and easy fix for this. > > yeah, the github webhook was originally intended for sending emails about new PRs and PRs being updated/commented on, but it seems that Hannes extended my original script to also be able to receive "Pull Request review comment" events, which when enabled on github for a repo, will be triggered when somebody inline comments a pull request. the webhook can be further tweaked to have a less confusing subject (and maybe message body) for these kind of events: http://git.php.net/?p=web/master.git;a=blob;f=github-webhook.php -- Ferenc Kovács @Tyr43l - http://tyrael.hu