Re: Better managing PHP 8.1 updates

On 19.05.2021 at 15:48, Larry Garfield wrote: > On Wed, May 19, 2021, at 6:08 AM, Christoph M. Becker wrote: > >> The problem I see with this approach is that we would have to open >> issues for php/doc-en, and I presume that we will get quite some issue >> reports regarding doc bugs. > > They aren't? I didn't realize that wasn't already the case. I think > that's fine, though. At least, it's better for bug reports to come into GitHub than > comments on the site, no? Well, that's a different topic, and more related to the recent discussion on the internals ML (<https://externals.io/message/114300>). >> Maybe it would be better to label PRs for php/php-src which need >> documentation with "documentation needed" (or so)? > > Possibly, but then we have to go digging through already-closed PRs for tagged issues, and then > it's a different set of people that have access to add/remove the tags as appropriate. The former is not an issue[1]; the latter may be, but I think there are enough trusted doc maintainers who could be granted that karma. [1] <https://github.com/php/php-src/pulls?q=is%3Apr+is%3Aclosed+label%3ABugfix> Christoph