Re: Re[2]: How to manage github pull requests?
| From: | André L F S Bacci | Date: | Sat, 26 Dec 2020 02:53:13 +0000 |
| Subject: | Re: Re[2]: How to manage github pull requests? | ||
| References: | 1 2 3 4 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387727@lists.php.net to get a copy of this message | ||
On Thu, Dec 24, 2020 at 4:36 PM Andre Polykanine <andre@oire.org> wrote:
> 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?
>
Yes. At least for pt_BR translation.
But all doc systems are slowly moving in this general direction.
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.
>
Is https://bugs.php.net/ accessible? If not,
https://github.com/php/doc-en/pulls appears to be
accepting patches, but
not issues.
André