Re: Experimental opening of php/doc-en issues

On Thu, 21 Oct 2021 at 16:02, Christoph M. Becker <[email protected]> wrote:

> On 21.10.2021 at 16:33, Nikita Popov wrote:
> >
> > 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
>

In principle, I'm +1.

Is there any project/team that would be blocked by this? I'm thinking along
the lines of maaaaybe a PECL package that doesn't have their docs in
php/doc-* but does use the bug tracker.
I'm going to assume this also affects the "Documentation Problem" package
as well as the ticket type, right?
If directing submitters to one other place to create their issue, it should
be an appropriate place for all documentation issues. github.com/php/doc-en
is not that place.



>
> --
> Christoph M. Becker
>