Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:106059
MIME-Version: 1.0
References: <c-17aa9-jxb7g2n0-vxatz1=1agmme@2.gethop.com> <b3902936-0337-4c41-6195-8cc114bc1f9c@gmx.de>
 <CAPg3XxJkvPvVx_XP_QTg6e_TshuWhi944DAxEhzF0fhhitqSVA@mail.gmail.com> <436001848.47081.1561453846245@myrasecurity.com>
In-Reply-To: <436001848.47081.1561453846245@myrasecurity.com>
Date: Tue, 25 Jun 2019 23:41:42 +0200
Message-ID: <CAG9XoMT4btzHjm7Qfs+auHtFvx3oqfxRvP5r-pRgkHv5qMHGpg@mail.gmail.com>
To: Sascha Schumann <sascha.schumann@myrasecurity.com>
Cc: Peter Cowburn <petercowburn@gmail.com>, "Christoph M. Becker" <cmbecker69@gmx.de>, 
	Arnold Daniels <arnold.adaniels.nl@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000000cc4f0058c2ccc74"
Subject: Re: [PHP-DEV] Re: Checkout phpdoc
From: benjamin.morel@gmail.com (Benjamin Morel)

--0000000000000cc4f0058c2ccc74
Content-Type: text/plain; charset="UTF-8"

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

--0000000000000cc4f0058c2ccc74--