From: Johannes Schindelin Date: Tue, 07 Jan 2014 17:56:14 GMT Subject: Re: [PATCH] Fix safe_create_leading_directories() for Windows Message-ID: In-Reply-To: Hi, On Tue, 7 Jan 2014, Erik Faye-Lund wrote: > On Thu, Jan 2, 2014 at 9:46 PM, Johannes Schindelin > 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. In any case, I do think that the contributions we got via pull requests were in general contributions we would not otherwise have gotten. Sorry for my mistake! Dscho