Re[2]: How to manage github pull requests?
| From: | Andre Polykanine via phpdoc | Date: | Thu, 24 Dec 2020 19:35:37 +0000 |
| Subject: | Re[2]: How to manage github pull requests? | ||
| References: | 1 2 3 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387726@lists.php.net to get a copy of this message | ||
Hello André,
> A semi automated version of this process can be seen at
> https://github.com/phpdocbrbridge/bridge . It's adapted
> for
So does that mean that:
1. We can avoid using edit.php.net for editing documentation;
2. Doc corrections and translations can be submitted via Github PRs;
3. There's no need to pass the edit.php.net route for getting a
version control account?
Sorry if I missed something in the discussion. I've been waiting for
an opportunity to contribute to PHP documentation since a long long
time. I'm totally blind and I use a screen reader, that's why I
couldn't do anything before: edit.php.net is inaccessible for screen
reader users.
Thanks.
--
With best regards,
Andre
Munich, Germany