Re: Patch waiting on edit.php.net
| From: | BohwaZ | Date: | Mon, 23 Nov 2020 14:28:42 +0000 |
| Subject: | Re: Patch waiting on edit.php.net | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387655@lists.php.net to get a copy of this message | ||
On Mon, 23 Nov 2020 11:08:36 +0000 / "G. P. B."
<george.banyard@gmail.com> said :
> The issue is that the Online doc editor is rather unpractical for
> reviewing patches if changes need to be made.
> Added to the fact that we don't usually check it for patches (even
> more now that emails about them aren't sent).
> The best way is to provide a PR to
> https://github.com/php/doc-en
Sorry but I have no idea how to extract the patch from edit.php.net and
transform it into a PR.
I just followed the contributing guide, edited the doc online, and it
created a patch, and now it's stuck there :-/
Thanks.