Re: Experimental opening of php/doc-en issues
| From: | Peter Cowburn | Date: | Fri, 22 Oct 2021 08:42:15 +0000 |
| Subject: | Re: Experimental opening of php/doc-en issues | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969388014@lists.php.net to get a copy of this message | ||
On Thu, 21 Oct 2021 at 16:02, Christoph M. Becker <cmbecker69@gmx.de> 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
>