Re: Better managing PHP 8.1 updates

On 25.05.2021 at 17:40, Larry Garfield wrote: > On Wed, May 19, 2021, at 8:56 AM, Christoph M. Becker wrote: > >> 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>). > > Seems we're opening GitHub issues anyway. :-) Should we try using that for 8.1 planning? GH issues are experimental for now[1]. I suggest to wait until we finally switch (if at all). :) [1] <https://news-web.php.net/php.doc/969387941> -- Christoph M. Becker