On Tue, Jan 7, 2014 at 6:56 PM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: >> > 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. -- Sebastian Schuberth -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html