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 
new format.



You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to