wrongly based (and allready merged) PRs

[berni44]

On Thursday, 26 December 2019 at 10:51:19 UTC, Seb wrote:
> No worries. You can still target them for stable. Simply 
> cherry-pick the merge commit, so that it doesn't lead to 
> conflicts later.
> Something like this:
>
> git checkout upstream/stable
> git cherry-pick -m1 <merge-commit>
>
> And then open a PR as usual.

I hope I got it right. :-) Thanks a lot!