> 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