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. > 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. Christoph -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
