Re: Experimental opening of php/doc-en issues
[email protected] ("Christoph M. Becker")
| Newsgroups | php.doc |
|---|---|
| Message-ID | <[email protected]> |
On 21.10.2021 at 16:33, Nikita Popov wrote: > On Tue, May 25, 2021 at 4:31 PM Christoph M. Becker <[email protected]> > 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