Github Pull Requests
Even though the PHP project is using git.php.net as master location for Git repositories we provide official mirrors on GitHub, which can be used to create and discuss feature branches. This tool here tries to assist with the handling of GitHub pull requests.
In general discussions about pull requests should be done in the appropriate places (the actual pull request on GitHub, the php.net bug tracker, the PHP internals list, etc.) while this tool helps with tasks which can't be done as we don't make contributors to PHP actual members of the "PHP Organization" on GitHub. The most important function might be closing pull requests without applying the changes (if the changes are applied GitHub will close it automatically).
Please note that this tool is in constant development and in an early state. For a more detailed overview on the PHP Git process please check the Git Workflow page on the Wiki.