There are a few more PRs now. The bigger problem I can see is that in a month's time there are going to be 1000 PRs that haven't been able to build on each othe

There are a few more PRs now. The bigger problem I can see is that in a month's time there are going to be 1000 PRs that haven't been able to build on each other, and 20,000 merge conflicts to resolve.