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

Also another idea, if there is no response from the people with server access to create a Git repository (this also means that all current repositories on the git.php.net are doomed anyway). Why not just creating a root repositories on the github.com/php and get on with the docs migration process? When people with Git access will be able to create the needed repos on the git.php.net the root repo can be set there (moved from the GitHub) and the mirror created on GitHub (as it should be now). It's not so much of a rocket science. But syncing people is a rocket science. This is a task for over a weekend for a system oriented human with enough knowledge and all overall access of these. On Sat, 16 Jun 2018 at 23:46, Peter Kokot <peterkokot@gmail.com> wrote: > 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 > -- Peter Kokot