Re: Re: Checkout phpdoc
| From: | Benjamin Morel | Date: | Tue, 25 Jun 2019 21:41:42 +0000 |
| Subject: | Re: Re: Checkout phpdoc | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-106059@lists.php.net to get a copy of this message | ||
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
On Tue, 25 Jun 2019 at 11:10, Sascha Schumann <
sascha.schumann@myrasecurity.com> wrote:
> I have disabled SNI for the upstreams on svn2.php.net.
>
> If the problem persists, please provide a way to reproduce the issue.
>
> Thanks
> Sascha