[kangalioo]

On GitHub you can push commits to the PR branch. I use that to fix up rough edges myself and then merge the PR.

[lmas]

Oh wow never realised that was possible! Thank you!

That will save so much time and energy having to deal with back-and-forths or abandoned PRs