Re: Moving documentation to git

From: Date: Wed, 14 Jun 2017 20:16:17 +0000
Subject: Re: Moving documentation to git
References: 1 2 3 4 5  Groups: php.doc 
Request: Send a blank email to phpdoc+get-969386630@lists.php.net to get a copy of this message
On Wed, Jun 14, 2017 at 1:27 PM, Andreas Heigl <andreas@heigl.org> wrote: > Thanks for mentioning! I didn't find that one :) > > I'm currently hacking together a PoC and see how to match that with the > wiki-doc. Some tools we use in pt_BR translation to keep synced git repository on GitHub: https://github.com/phpdocbrbridge/bridge . See cron.sh end sync.sh for the automatic SVN -> git flow. André

« previous php.doc (#969386630) next »