2017-01-11 22:06 GMT+01:00 Kalle Sommer Nielsen <ka...@php.net>: > Hi Andrey > > 2017-01-11 21:48 GMT+01:00 Andrey Andreev <n...@devilix.net>: > > Yes, I've used the online editor in the past. But it feels weird ... and > I > > can't even see patches I've submitted in the past. > > > > If it has to happen quickly, I'll probably use that, but I'd rather avoid > > it. > > Yeah sadly there is some fuzz going on there if you do not have a VCS > account. Although I personally prefer SVN as it is much easier and > faster. You can always make a diff there and send to the docs mailing > list (and it will forever be stored, and searchable from indexing > sites like markmail (our own NNTP site do not support search /o\))[1] > or mail it to me directly and I'll commit it in case you are not > granted a VCS account.
Could we move documentation to Git and mirror it on Github, too? I think we might get more PRs on GitHub than on this strange edit.php.net editor, where probably most people edit and save, but forget to submit the actual patch. Regards, Niklas