On Tue, Jan 7, 2014 at 6:56 PM, Johannes Schindelin
>> > Well, you and I both know how easy GitHub's pull request made things
>> > for us as well as for contributors. I really cannot thank Erik enough
>> > for bullying me into using and accepting them.
>> Huh? I don't think you refer to me, because I really dislike them (and I
>> always have IIRC).
> Ah yes, I misremembered. You were actually opposed to using them and I
> thought we should be pragmatic to encourage contributions.
Not that it matters too much, but I guess it was me who talked Dscho
into moving to GitHub and using / accepting pull requests :-)
> In any case, I do think that the contributions we got via pull requests
> were in general contributions we would not otherwise have gotten.
I absolutely think so, too.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html