Re: Moving documentation to Git
| From: | Christoph M. Becker | Date: | Sat, 14 Oct 2017 10:29:20 +0000 |
| Subject: | Re: Moving documentation to Git | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386745@lists.php.net to get a copy of this message | ||
On 14.10.2017 at 02:17, Peter Kokot wrote:
> Another good and sort of simple thing with Git would be to have
> branches more utilized - PHP 7.1 docs, PHP 7.2 docs and master docs in
> separate branches. What is currently getting missed is that some
> feature landing in php-src master branch is not being documented right
> away in the docs repository.
I don't think that we need multiple branches. Documenting ahead of time
is perfectly reasonable, in my opinion. It's just a matter of time, if
that doesn't happen.
--
Christoph M. Becker