Re: Moving documentation to Git

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. 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. Feel free to have a look and review what you find. Contributions are welcome ;) Cheers Andreas