On Monday, October 17, 2016 at 11:23:08 AM UTC-5, Edward K. Ream wrote:
> To recap, the new scheme is *much *better than the old because:
That summary, while true, doesn't get to the heart of the matter. And it's
In fact, we need commit_timestamp.json only at the *exact instant* an
official release or daily build is being created. There is no need to
create the .json file on every single commit.
The new format of the .json file describes *exactly* the commit, avoiding
the problem that a build can't mention its own hash.
The @button make-leo script makes the .json file for official releases. The
script that makes daily snapshots should also make this .json file, in the
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.