Re: Experimental opening of php/doc-en issues

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.) Regards, Nikita