Re: Moving documentation to Git
| From: | Christoph M. Becker | Date: | Thu, 12 Oct 2017 11:31:38 +0000 |
| Subject: | Re: Moving documentation to Git | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969386739@lists.php.net to get a copy of this message | ||
On 12.10.2017 at 13:15, Andreas Heigl wrote:
> This is still possible as the EN-revision tag is still used but now contains the hash instead
> of the revision number. So when you leave the Hash untouched it‘s the same as leaving the
> Revision-ID untouched. Theee is currently no automated action to change that. And I‘d strongly
> oppose such an idea. ;)
Ah, you're right! Actually, it is not necessary to have a sequential
revision number. Simply checking whether the original's revision is
*different* from the EN-Revision of the translation should be sufficient
to detect out-dated translations.
--
Christoph M. Becker