On 06.10.2017 at 19:26, Will Fitch wrote: > What is the process of closing out pull requests on GitHub for extensions > we maintain? For example: > https://github.com/php/pecl-numbers-bitset/issues/11 - I have no way of > closing that out other than to push a bogus commit with "Fix #11" as the > message. > > Is there are grant option for GitHub extension maintainers? If so, both PHP > and GH username is willfitch.
Regarding PRs you can use <https://qa.php.net/pulls/>; choose the repo and login, and you'll be able to close the PR. Not sure about issues, though. Probably these shouldn't even be available. -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
