On 6 January 2015 at 11:02, 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?
You can close PRs through https://qa.php.net/pulls/#repo=web-php. Adam -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
