On Tue, May 25, 2021 at 3:10 PM Christoph M. Becker <cmbecke...@gmx.de> wrote:
> On 25.05.2021 at 14:57, Nikita Popov wrote: > > > To make some forward progress here, I think a good starting point would > be > > to enable GitHub issues on the doc-* repos to get some usage experience > in > > a more limited setting. Docs issues probably benefit more from being > hosted > > on GitHub than php-src issues, as this is an area where 3rd-party > > contributors can easily pick up issues they can address. > > Agreed (maybe start with doc-en only for now; there are not that many > translation issues anyway). Feel free to open the issues right away. > Okay, I've done that. I think it would make sense to have issues on the translation repos as well (at least the active ones). One thing that github issue templates support is simple links, which means we could have something like: * Report incorrect documentation (<- normal issue with tag) * Report missing documentation (<- normal issue with tag) * Report incorrect German translation (<-> links to doc-de issue tracker) * etc. Though we can consider something like that later as well. > > If all goes well, we can disable submission of "Documentation Problem" > bugs > > in bugsnet and consider how to move forward with php-src. > > One particular problem would be issues filed as bug, but are > reclassified as doc problem. We likely would need a bot to "transfer" > these issues to doc-en. > Yeah, that's going to be a problem with any kind of partial migration. Regards, Nikita
