> > Instead of using the date, how about we use the SHA1, or else > > the output of "git describe". > > The latter won't quite work before the release or on master, since there > is no related tag. We can add those tags, if we wanted to. But why not start simple, indeed, and just use the SHA1? -- Joel