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
