[IMPORTANT] ChangeLog related changes

[Segher Boessenkool]

On Tue, May 26, 2020 at 03:14:02PM +0200, Andreas Schwab wrote:
> On Mai 26 2020, Martin Liška wrote:
> 
> >         subprocess.check_output('git show --name-only --pretty="" | '
> >                                 'grep ChangeLog | '
> 
> git show --name-only --pretty= -- '*ChangeLog*'

Or even just

git checkout HEAD $(git show --name-only --pretty= -- '*ChangeLog*')

after you did any such attempted backport that touched changelogs, and
you should be good to go.

(This is also easy to do manually).


Segher