It seems like a potential problem that "This branch is out-of-date with the base branch" pops up and blocks PR merging. Ideally, PRs should be mergable as long as the patches apply cleanly. Two PRs that modify different files should not block each other. Having that rule on seems like it could cause a lot of chasing contributors to have them update their branches 😕