4 ms·
> 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 so
by 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.