Whoever got Github to automate re-pointing chained PR requests to the proper branch after the preceding PR is merged, you are my hero.