Hi Collin, > > Can you please add, to the first line of the ChangeLog entry, a note > > that tells us when the regression was introduced? Such as > > (regression 2024-xx-xy) > > or > > (regr. yesterday) > ... > I've never modified a ChangeLog entry before. Is the proper way to > just modify it and commit with a one line summary?
Yes. We cannot change the past git log, but this is one of the situations where changing a ChangeLog entry is adequate. Other such situations are obvious typos and forgotten changes. > > In this case, maybe some Python style checker would have produced a > > warning, right? Would it be possible to add a Makefile rule that checks > > for the absense of such warnings, and then use this Makefile rule in the > > continuous integration that runs at least once a week? > > Hmm, I like that idea. I would have to find what tool works best for > that. Yes, please. Bruno
