Re: Current state of my ideas on moving docs to GIT

Luckily all (or most) people present in this discussion are still alive and eagerly waiting for the option to send our pull requests to the PHP docs. I know that PHP systems people will gladly fix all these issues and gave PHP ecosystem a boost with updating options of the outdated PHP docs one day very very soon. Anyway, if outside users without access to the servers, Git permissions etc can help in any way with this, let us know... On Sat, 16 Jun 2018 at 18:05, Maciej Sobaczewski <sobak@php.net> wrote: > Hi guys! > > I don't have much to say for now, mainly because Andrea already gave a > pretty good summary :) I just wanted to let you know that I still hope > for this switch to happen one day and I'm ready to help if there will be > something specific to do from our side. > > It's encouraging to know that others still think of it as well! > > Cheers, > Sobak. > -- Peter Kokot