On Tue, Jun 10, 2014 at 10:29 PM, <[email protected]> wrote:

> You can view the Pull Request on github:
> https://github.com/php/php-src/pull/692
>
> Pull Request Description:
> test pull request for hopefully triggering the first PR notification email
> to internals@
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>
Hi,

I've put together a simple script and set up the web-php and php-src github
repos for sending notifications about the Pull Requests for those projects.
You can see the source here:
http://git.php.net/?p=web/master.git;a=history;f=github-webhook.php
I've also discussed with Hannes to set this up for every repo, and to also
update https://master.php.net/manage/github.php so any new repo created via
that will have the webhook properly configured.
This also opens up possibilities, like automatically creating and linking
up bugs.php.net issues for the pull requests created.
Tell me what do you think about it, and ofc. patches welcome!

-- 
Ferenc Kovács
@Tyr43l - http://tyrael.hu

Reply via email to