In the section "Merging stacked Pull Requests" is mentioned:<p>> "...we must start merging from the top, i.e., the last opened pull request. Doing otherwise will result in a state where we cannot merge our pull requests anymore."<p>I think with the idea of PR re-targeting[1] that section could be enriched just to cover premature merging, accidentally or needed.<p>[1] <a href="https://twitter.com/getupleveled/status/1300714078198018049?s=19" rel="nofollow">https://twitter.com/getupleveled/status/1300714078198018049?...</a>