Re: Moving documentation to Git
| From: | Patrick Schwisow | Date: | Mon, 09 Oct 2017 13:49:00 +0000 |
| Subject: | Re: Moving documentation to Git | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386725@lists.php.net to get a copy of this message | ||
Hi Peter,
There has been some work towards moving PHP documentation into git, but at
the current time it's all in a Subversion repository, so pull requests are
not feasible.
-Patrick
On Mon, Oct 9, 2017 at 7:58 AM, Peter Kokot <peterkokot@gmail.com> wrote:
> Hello,
>
> Is there any realistic option that PHP will have documentation editable
> also via pull requests over GitHub in the near future?
>