Req #75243 [Opn->Asn]: PHP documentation should be mirrored on GitHub and editable via pull requests

From: Date: Mon, 16 Jul 2018 12:51:56 +0000
Subject: Req #75243 [Opn->Asn]: PHP documentation should be mirrored on GitHub and editable via pull requests
References: 1  Groups: php.doc.bugs 
Request: Send a blank email to doc-bugs+get-15897@lists.php.net to get a copy of this message 
Edit report at https://bugs.php.net/bug.php?id=75243&edit=1

 ID:                 75243
 Updated by:         kalle@php.net
 Reported by:        peterkokot at gmail dot com
 Summary:            PHP documentation should be mirrored on GitHub and
                     editable via pull requests
-Status:             Open
+Status:             Assigned
 Type:               Feature/Change Request
 Package:            Online Doc Editor problem
 PHP Version:        Irrelevant
-Assigned To:        
+Assigned To:        heiglandreas
 Block user comment: N
 Private report:     N

 New Comment:

Andreas is working on the SVN > Git migration, I'm not sure if there is other open reports
for the matter else this could be a ticket to track progress.


Previous Comments:
------------------------------------------------------------------------
[2017-10-29 10:39:07] miika dot s dot koskela at gmail dot com

It would be easier to contribute to the docs if it were at Github. Also, something similar to Read
the Docs (https://readthedocs.org/) would be good.

Using this kind of platform for docs could also reduce maintenance burden, right?

Regards, Miika

------------------------------------------------------------------------
[2017-09-21 23:28:57] peterkokot at gmail dot com

Description:
------------
PHP documentation files should be available also on GitHub and editable via pull requests.



------------------------------------------------------------------------



--
Edit this bug report at https://bugs.php.net/bug.php?id=75243&edit=1

Thread (6 messages)

« previous php.doc.bugs (#15897) next »