Hi, Just my two cent. The online editor is actually a greats tool to edit & commit some changes into the documentation for *all* translations. Please, don't view only the EN part of the documentation. If we plan to move to GitHub, there were a lot of work to do into the editor to continue to use it. And I'm really not sur that I have the time to do it.
I know there is actually a bug witch cause that the change aren't deployed as they should be. I try to find some time to work on it, and I'm sur that i can provide a fix in some few weeks. Just be patient with this, sorry. So, as it was sayed, the delay between reviewed a patch with the editor or the delay to review un pull request with GitHub is the same : if there are no people to do the first, it's the same for the second ;) Grest, Yannick 2013/6/25 Christian Stoller <stol...@leonex.de> > > That aside: resources is also the issue with the online editor. We have > > too few people working on docs, so in the end it doesn't make much > > difference if they don't have time to review edit.php.net or github. > > (while reviewing on edit.php.net has the benefit that it can directly > > validate the docbook, github can't) > > The difference is that the Git repo with its translations could be viewed > very easily via Github. And it is possible to comment on pull requests or > discuss them. > Plus: Others can see what pull requests have been created already and you > can see at a first glance how many open pull requests there are. > > When I used the online editor, I changed something but I didn't know if it > has been saved correctly (especially when the changes have not been > deployed after weeks) or if there is somebody who has ever seen my changes. > In Github you see what you have changed. That motivates to work on ;-) > > > Christian > > >
