These are frequently manually tweaked, and should not be modified when checking for new PRs. Right now, I'm just selectively committing the changes, but that will be less viable as we automate this.