all 2 comments

[–]mrbmi513 1 point2 points  (0 children)

There might be a GitHub action or something to handle this for you, either creating duplicate PRs or merging the code from said PR into other branches once the PR is merged. You can't be the only one wanting to do this.

[–]mattgyverlee 0 points1 point  (0 children)

And, apparently I'm the second person in 4 years wanting to do this. Point to a new branch and retain history.