Re: [PATCH] Fix safe_create_leading_directories() for Windows
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 7, 2014, 17:56 UTC
- Message-ID
- <alpine.DEB.1.00.1401071854330.20365@s15462909.onlinehome-server.info>
- In-Reply-To
- <CABPQNSaBbcgpE98j7mChvu6N7QqCG0CEmUgvJRURXLTdUTyFGg@mail.gmail.com>
Hi,
On Tue, 7 Jan 2014, Erik Faye-Lund wrote:
Show 9 quoted lines
> On Thu, Jan 2, 2014 at 9:46 PM, Johannes Schindelin > <Johannes.Schindelin@gmx.de> 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