Re: [PATCH 06/19] mingw: try to delete target directory before renaming

From: Junio C Hamano <gitster@pobox.com>
Date: Jan 25, 2016, 18:55 UTC
Message-ID: <xmqq4me1h4k2.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <alpine.DEB.2.20.1601250753470.2964@virtualbox>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

Show 12 quoted lines

> Hi Philip,
>
> On Sun, 24 Jan 2016, Philip Oakley wrote:
>
>> From: "Johannes Schindelin" <johannes.schindelin@gmx.de>
>> >From: 마누엘 <nalla@users.noreply.github.com>
>> 
>> Is this Nalla's preferred email, or just a carry over from cautions of the
>> Github interface?
>
> Neither. It is from the author field as recorded in the commit that I
> merged originally: https://github.com/dscho/git/pull/8

If it is not recorded under the name/email that is preferred by the author, as I am not pulling from you but will be applying a patch, we can fix it to match the author's desire, if we wanted to.

Your "Neither" hints that it is the case, but it is unclear to me what address is the desired one (I can guess hamal.uberspace might be), so...