Re: Re: Checkout phpdoc
| From: | G. P. B. | Date: | Tue, 25 Jun 2019 21:47:58 +0000 |
| Subject: | Re: Re: Checkout phpdoc | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-106060@lists.php.net to get a copy of this message | ||
On Tue, 25 Jun 2019 at 23:41, Benjamin Morel <benjamin.morel@gmail.com>
wrote:
> By the way, is there any work in progress to migrate the PHP manual to Git?
> The docs <https://www.php.net/git.php>only say:
>
> The PHP manual is still currently hosted on SVN, although it will be
> > migrated to Git in the future.
>
>
> I'd love to be able to fix things in the PHP manual with a simple PR; the
> current process has always repelled me.
>
> Ben
I think there is a way to do a GitHub PR atm via
https://github.com/php/doc-en/pulls
George P. Banyard