wrongly based (and allready merged) PRs
berni44
dlang at d-ecke.de
Thu Dec 26 11:35:44 UTC 2019
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!
More information about the Digitalmars-d
mailing list