On automated commits

[Joel Brobecker]

> 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. Hopefully we move forward with a proposal to remove
those nightly commits, and the people who depended on them can
explain their needs and we can meet those needs in a different way.

-- 
Joel