tree a7381b65dae8093f399a5bd7ff533869449b53f4
parent 93ff9c2c115c9e4b917ac5a4cfc527e275c61336
author Luca Milanesio <luca.milanesio@gmail.com> 1582979430 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1583013927 +0000

Use a global version number instead of the commit timestamp

The commit timestamp is not a reliable source of repository
version numbering because of unreliability of the local
time of the committer and forced push use-case, where the
repository is brought back in time.

Define a new global version numbering
(current system time at the moment) and
use it as monotonic versioning for the repository.

Bug: Issue 12413
Change-Id: If1b642a56791bd3a4c1d6ef903ec2f7c61c19928