719724e4df
If a single-patch pull request fails cherry-picking, it's still possible to recover it (if it's a simple conflict). Give the maintainer the option by opening a subshell and instructing them to either complete the cherry-pick or abort it. Closes #10949