3 ms·
On GitHub you can push commits to the PR branch. I use that to fix up rough edges myself and then merge the PR.
by kangalioo 5y ago
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 5y agoOh 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