On automated commits

[Paul Koning]

> On Jun 26, 2024, at 9:32 PM, Alan Modra <amodra@gmail.com> wrote:
> 
> On Wed, Jun 26, 2024 at 11:17:04AM -0700, Joel Brobecker wrote:
>>> I personally have never liked these automated commits, and I can't
>>> recall ever using the date they provide.
>>> 
>>> I also don't believe these dates are used here at AdaCore.
>>> 
>>> So +1 from me for removing these.
>> 
>> Same here.
>> 
>> I know that some people found them useful, but I don't remember why
>> unfortunately.
> 
> The date is useful when looking at bug reports from people who might
> be building from development sources.  

So why not have the build procedure pick up the last commit date, if building in a Git sandbox?  That's easy enough to arrange.  Similarly, it could pick up the identifier (SHA hash) of that last commit to make it entirely unambiguous.

	paul