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 
repetitious.

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.

Edward

>

-- 
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