Simo Sorce wrote:
Isn't tooling in our dist-git commit hooks or push hooks that
reject commits that remove changelogs or re-add unwanted sections the
way to go here ?
Removing changelog entries is necessary to bring diverged branches back into
sync. I always destroy the branch changelog in favor of the Rawhide one if I
sync a new version from Rawhide to the branch. (Then I merge both ways, so
that the branches become fast-forwardable again.)