I wish GitHub offered a more collaborative way of working with pull requests from new contributors.

Allowing the maintainer to push commits to the PR branch enables a more "yes, and…" approach, but GH doesn't make this easy.

For a recent Ohm PR from @joshmarinacci, I tried this:

1️⃣ Create a new branch in the dest repo
2️⃣ Merge the original PR into the new branch
3️⃣ Open a new PR from the new branch

Now both the maintainer and contributor can work on the PR. Is there an easier way?