ChangeLog's: do we have to?

[Siddhesh Poyarekar]

On 07/05/2018 05:02 PM, Richard Biener wrote:
> I assumed you just want to remove the ChangeLog files, not change contents.
> Thus I assumed the commit message would simply contain the ChangeLog
> entry as we requie it today?  In that case git log --grep would still provide
> everything grepping ChangeLogs does - maybe apart from reducing noise
> because you can automatically grep specific ChangeLogs only (like only in cp/).

We had discussed making addition of ChangeLog entries into the commit 
message mandatory but the issue there is that commit logs cannot be (or 
more precisely, should not be) modified after they're pushed so errors 
in ChangeLog entries will remain.  Carlos had suggested git notes, but I 
don't know off the top of my head how they work; I vaguely remember them 
being editable.

Siddhesh