Can the automatic daily update commits be stopped, take 2

[Joel Brobecker]

> > It is hard to tell which one is newer without using git source.
> 
> git describe would be the right tool if only we had proper annotated
> release tags.

Which release tags do you have in mind, and what do we need to do
to fix them?

-- 
Joel