https://www.joshuakgoldberg.com/blog/split-out-unrelated-changes/
Split Out Unrelated Changes | Goldblog
This is a general explainer for pull request reviews where I think unrelated changes should be split into a separate PR.
split out unrelated changesgoldblog