Re: Experimental opening of php/doc-en issues

On 21.10.2021 at 16:33, Nikita Popov wrote: > On Tue, May 25, 2021 at 4:31 PM Christoph M. Becker <cmbecker69@gmx.de> > wrote: > >> Hi all, >> >> there was some discussion regarding replacing bugsnet with GH issues a >> while ago[1]. Today we decided to open GH issues for doc-en to see how >> this may work out[2]. Nikita provided a PR[3] which changes the "Report >> a bug" link on the manual pages to open an issue on GH instead of a >> ticket on bugsnet. IMHO, this makes sense to make GH issues more >> prominent, so we will be able to more quickly determine whether GH >> issues are actually preferable to bugsnet. >> >> Thoughts? >> >> [1] <https://externals.io/message/114300> >> [2] <https://externals.io/message/114300#114586> >> [3] <https://github.com/php/web-php/pull/407> >> > > To follow up on this, I'd like to disable the option to submit a > "Documentation Problem" on bugs.php.net with > https://github.com/php/web-bugs/pull/107. Instead, submitters > are directed > to issues on php/doc-en. This avoids having two places where new > documentation bugs may be submitted. Are there any objections to doing > this? (It's still possible to reclassify submitted bugs as doc problems > after the fact.) +1 -- Christoph M. Becker