GitHub and Extensions
| From: | Will Fitch | Date: | Fri, 06 Oct 2017 17:26:31 +0000 |
| Subject: | GitHub and Extensions | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-100832@lists.php.net to get a copy of this message | ||
Hi All -
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.
Thanks,
Will Fitch