Re: Moving documentation to Git
| From: | Derick Rethans | Date: | Tue, 10 Oct 2017 10:05:08 +0000 |
| Subject: | Re: Moving documentation to Git | ||
| References: | 1 2 3 4 5 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386733@lists.php.net to get a copy of this message | ||
On Mon, 9 Oct 2017, Ben Ramsey wrote:
> The infrastructure is already there for the workflow, so I don’t think
> that’s a blocker for moving to Git. The blockers are in the build
> environment and build scripts. They’ll need to be updated to support
> Git, and we’ll need to figure out how to handle all the language
> directories.
Wasn't the main issue here, on how to show which translations needed
updating? Right now, that happens by comparing SVN revision numbers,
which are handily incremental. Git hashes are not like that.
cheers,
Derick
--
https://derickrethans.nl | https://xdebug.org | https://dram.io
Like Xdebug? Consider a donation: https://xdebug.org/donate.php
twitter: @derickr and @xdebug