We should add a CI job, which ensures that a PR always adds a changelog entry. We can avoid things like this follow-up by doing that.