Re: [GIT PULL] git-gui pull request

From: Pratyush Yadav <me@yadavpratyush.com>
Date: Nov 4, 2019, 22:11 UTC
Message-ID: <20191104221115.hinnt47xm4ba3lzy@yadavpratyush.com>
In-Reply-To: <20191102235006.rpguewvbbpfv4wi5@yadavpratyush.com>

On 03/11/19 05:20AM, Pratyush Yadav wrote:

Show 13 quoted lines

> Hi Junio,
> 
> There are some changes in git-gui since your last pull. With the 2.24
> release coming up, I figure it is a good time to sync up.
> 
> The list of changes is a bit misleading. A lot of these changes are 
> already in Git's tree, and I retroactively pulled them back in my tree, 
> since these bypassed the "main" git-gui tree. Effectively, the merge of 
> the commit 60c60b6 should be a no-op. [0] for a reminder.
> 
> Sorry for being so late. I didn't realize the release was so close. So
> if this pull request is too much trouble for 2.24, I'm fine if you don't 
> pull it now. We can sync up in 2.25 :).

I see that you did manage to do the merge before the 2.24 release. Thanks.

-- 
Regards,
Pratyush Yadav