Re: Moving documentation to git
| From: | Ben Ramsey | Date: | Fri, 16 Jun 2017 15:44:52 +0000 |
| Subject: | Re: Moving documentation to git | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386637@lists.php.net to get a copy of this message | ||
> On Jun 16, 2017, at 4:30 AM, Andreas Heigl <andreas@heigl.org> wrote:
>
> The other question is whether edit.php.net is needed when we can use PRs
> on GitHub… From what I've heard so far not everyone was able to use
> edit.php.net and a lot of people seem to be more comfortable with PRs
The purpose of edit.php.net is so that people can provide edits without
needing to go through the documentation build process, which is quite
unwieldy for the average person. This won’t change with a migration to
Git.
I think we’d still keep edit.php.net. We should try to address the
accessibility issues it has. When we transition php-docs to Git,
perhaps we transition edit.php.net to automatically make pull requests
from the changes submitted through the UI.
-Ben
Attachment: [application/pgp-signature] Message signed with OpenPGP using GPGMail signature.asc
Attachment: [application/pgp-signature] Message signed with OpenPGP using GPGMail signature.asc