On GitHub you can push commits to the PR branch. I use that to fix up rough edge... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kangalioo on Feb 28, 2022 \| parent \| context \| favorite \| on: How to take credit for someone else's work on GitH... 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 on March 1, 2022 [–]

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

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact