Moving documentation to Git
| From: | Peter Kokot | Date: | Mon, 09 Oct 2017 12:58:41 +0000 |
| Subject: | Moving documentation to Git | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969386724@lists.php.net to get a copy of this message | ||
Hello,
Is there any realistic option that PHP will have documentation editable
also via pull requests over GitHub in the near future?