Can't wait to try it, thanks for the pointer! Ben
On Tue, 25 Jun 2019 at 23:48, G. P. B. <george.bany...@gmail.com> wrote: > 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 >
