Hacker News Reader

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

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