It is a bad idea to edit `changelog.html` in a PR; it will almost always be a merge conflict by the time the PR is actually approved for merging (if ever). The responsibility lies with the person merging to PR to add the entry.