Pull Request mails for php-src will be going to git-pulls@

Hi, There were some vocal feedback about not spamming the list and/or not letting the generic traffic of the internals@ making the PR mails ignored, so I I've changed it to git-pulls@lists.php.net: http://git.php.net/?p=web/master.git;a=commit;h=c5fe83adb08b64267d1a5c01a8f301b8cdce55b6 If you are interested in these mails, you should subscribe that list. ps: it can take some time for the change to propagate to the server. -- Ferenc Kovács @Tyr43l - http://tyrael.hu