Re: [PATCH] Fix safe_create_leading_directories() for Windows
- From
Sebastian Schuberth <sschuberth@gmail.com>
- Date
- Jan 7, 2014, 21:49 UTC
- Message-ID
- <CAHGBnuND3YEuw7TacH24PB2XP=G3eRniG2n9DEjja5gi9RedBw@mail.gmail.com>
- In-Reply-To
- <alpine.DEB.1.00.1401071854330.20365@s15462909.onlinehome-server.info>
On Tue, Jan 7, 2014 at 6:56 PM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 9 quoted lines
>> > 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