If the repo allowed (for example if there was a GitHub setting) for all PRs to be mutable by repo administrators, that might be a good balance.