On Fri, Jul 6, 2018 at 1:17 AM, Siddhesh Poyarekar <siddh...@gotplt.org> wrote: > 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.
You could do this now under svn, I believe, as svn allows --rev-prop changes to modify the log.
