Req #75243 [Com]: PHP documentation should be mirrored on GitHub and editable via pull requests

Edit report at https://bugs.php.net/bug.php?id=75243&edit=1 ID: 75243 Comment by: petk@php.net Reported by: peterkokot at gmail dot com Summary: PHP documentation should be mirrored on GitHub and editable via pull requests Status: Assigned Type: Feature/Change Request Package: Online Doc Editor problem PHP Version: Irrelevant Assigned To: heiglandreas Block user comment: N Private report: N New Comment: Thank you so much for someone working on this. Looking forward for having the Git repo. Is there any progress here? Can't we just turn the translations to a different workflow if they really cause so much issues with this? Previous Comments: ------------------------------------------------------------------------ [2019-02-18 02:44:22] carusogabriel@php.net For the record, we had some progress. Check the https://github.com/phpdoctest organization. ------------------------------------------------------------------------ [2018-07-16 12:51:55] kalle@php.net Andreas is working on the SVN > Git migration, I'm not sure if there is other open reports for the matter else this could be a ticket to track progress. ------------------------------------------------------------------------ [2017-10-29 10:39:07] miika dot s dot koskela at gmail dot com It would be easier to contribute to the docs if it were at Github. Also, something similar to Read the Docs (https://readthedocs.org/) would be good. Using this kind of platform for docs could also reduce maintenance burden, right? Regards, Miika ------------------------------------------------------------------------ [2017-09-21 23:28:57] peterkokot at gmail dot com Description: ------------ PHP documentation files should be available also on GitHub and editable via pull requests. ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=75243&edit=1