On Tue, Jun 25, 2013 at 10:18 AM, Pierre Joye <pierre....@gmail.com> wrote: > > On Tue, Jun 25, 2013 at 9:45 AM, Christoph Rosse <cro...@2bepublished.at> > wrote: > >> On 25.06.2013 08:46, Christian Stoller wrote: > >>> > >>> Hi internals. > >>> > >>> What do you think about moving the PHP documentation to a Git > repository, > >>> mirrored on Github? Doing this would make it possible for everybody to > >>> extend the documentation easily by creating pull requests. > >>> > >>> Today one has to get an SVN account to edit the docu or you have to use > >>> https://edit.php.net/ which does not work as expected (at least for > me when > >>> I tried to update some German documentation). My changes have not been > >>> integrated for some months (I had to write an email to somebody of the > doc > >>> team to apply the changes). > >>> > >>> Symfony does it this way (see https://github.com/symfony/symfony-docs/ > ) > >>> and I like it very much. It is really easy to extend/update parts of > the > >>> docu which are not complete or outdated and I am sure that it is > comfortable > >>> and timesaving for the doc team, too. > >>> > >>> What do you think? > >>> > >>> Best regards > >>> Christian > >>> > >> > >> As one who's had very similar experiences when trying to update some > >> documentation via. edit.php.net (no feedback, no integration etc.) I > would > >> really love to see this feature. > > > > Really? That's not too good as we have been promoted this tool for > > some time already. > > > > However adding the php-doc list to CC so they can answer and give us > > some feedback/info. > > > > Cheers, > > -- > > Pierre > > > > @pierrejoye | http://www.libgd.org >
there were some initial discussion and work done on moving the docs to git, see https://wiki.php.net/doc/git http://git.php.net/?p=web/doc-editor.git;a=shortlog;h=refs/heads/GIT_READY http://marc.info/?l=phpdoc&m=132321958514090&w=2 but it seems that we lost momentum, but I think that this isn't a technical problem, just lack of interest (svn and the online editor just works for the regulars), maybe others have different opinions on this. and I'm fairly certain that the slow integration of the patches also not a technical problem as well. I think that it would worth more to figure out and fix the underlying problem which causes the current delay for integrating the incoming patches. moving to git/github without fixining the underlying issue would only mean that we switched to pull requests not getting accepted in a timely manner(which is unfortunately common with our other git/github repos). -- Ferenc Kovács @Tyr43l - http://tyrael.hu
