The case for small diffs in Pull Requests

[default0 via Digitalmars-d]

On Thursday, 21 July 2016 at 03:30:34 UTC, Walter Bright wrote:
> I've looked at many PRs that consisted of multiple commits.
>
> The trouble with them is:
>
> 1. they often have nothing in particular to do with each other
>
> 2. I may want to pull a subset of the commits, but the only 
> option I have is all or nothing

As far as I'm aware git offers the option of cherry picking 
commits. It will not mark the PR as merged or generally not be 
what you are looking for, but maybe it's a usable workaround :)