Re: GitHub and Extensions
| From: | Christoph M. Becker | Date: | Fri, 06 Oct 2017 18:11:57 +0000 |
| Subject: | Re: GitHub and Extensions | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-100833@lists.php.net to get a copy of this message | ||
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