2 ms·
> you either have to merge the whole PR or nothing That's not true, though. You absolutely can merge a single commit, via git push, there's just no button in t
by Liskni_si 5y ago
> you either have to merge the whole PR or nothing
That's not true, though. You absolutely can merge a single commit, via git push, there's just no button in the GitHub UI for it.
- s4i 5y ago> You absolutely can merge a single commit, via git push, there's just no button in the GitHub UI for it. Well, I'm asuming we are talking about PRs against some protected branch where manually pushing changes directly is forbidden.