On Tue, 25 Jun 2019 at 23:41, Benjamin Morel <benjamin.mo...@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
