Reorder the arguments to allow for multiple pulls at the end:
hack/cherry_pick_pull.sh <remote branch> <pr-number>...
This solves some common A-then-immediate-A' cases that appear
frequently on head. (There's a workaround, but it's a hack.) Updates
the documentation.
This script checks out a branch based on <branch>, cherry picks pull
request <pr> into it commit by commit, then instructs the user on how
to propose that branch as a PR to the branch.
For bonus points, this could be integrated with something like the
"hub" tool (https://github.com/github/hub) and be made about 2x more
automated.
Fixes#10730
Zach Loafman