Re: Moving documentation to Git

On 9 October 2017 at 15:13, Andreas Heigl <andreas@heigl.org> wrote: > Hi Peter. > > Am 09.10.2017 um 14:58 schrieb Peter Kokot <peterkokot@gmail.com>: > > Hello, > > Is there any realistic option that PHP will have documentation editable > also via pull requests over GitHub in the near future? > > > I‘ve started moving the docs over to git earlier this year and created a > test-repo on github (https://github.com/phpdoctest). Due to less free > time not much happened in the last two or three months. And some things > still need to be decided upon like where to host the repo (git.php.net, > gitlab, github...) and depending on that how the workflows are. > The only choice here is git.php.net for the centralized location. We can (and hopefully will) mirror to GitHub as well, just like many of the other Git repos we have. > > Currently the docs are (should be) built on every push to master of the > language-branch. They are reachable via github-pages though ATM I don‘t > have a working link at hand. > It looks like the English version is available at https://phpdoctest.github.io/en/ > > Feel free to have a look and review what you find. Contributions are > welcome ;) > > Cheers > > Andreas >