Yeah. That rule requiring PRs to always be up-to-date with unrelated commits to the target branch is probably going to cost us more time than it saves.