Re: Re: Bugsnet
| From: | Christoph M. Becker | Date: | Tue, 25 May 2021 13:10:06 +0000 |
| Subject: | Re: Re: Bugsnet | ||
| References: | 1 2 3 4 5 6 7 8 9 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-114586@lists.php.net to get a copy of this message | ||
On 25.05.2021 at 14:57, Nikita Popov wrote:
> To make some forward progress here, I think a good starting point would be
> to enable GitHub issues on the doc-* repos to get some usage experience in
> a more limited setting. Docs issues probably benefit more from being hosted
> on GitHub than php-src issues, as this is an area where 3rd-party
> contributors can easily pick up issues they can address.
Agreed (maybe start with doc-en only for now; there are not that many
translation issues anyway). Feel free to open the issues right away.
> If all goes well, we can disable submission of "Documentation Problem" bugs
> in bugsnet and consider how to move forward with php-src.
One particular problem would be issues filed as bug, but are
reclassified as doc problem. We likely would need a bot to "transfer"
these issues to doc-en.
Christoph