From: Denton Liu <liu.denton@gmail.com>
Date: Tue, 01 Oct 2019 16:46:21 GMT
Subject: Re: [PATCH] SubmittingPatches: update git-gui maintainer information
Message-ID: <20191001164621.GA1598@generichostname>
In-Reply-To: <20191001141435.21787-1-me@yadavpratyush.com>

Hi Pratyush,

On Tue, Oct 01, 2019 at 07:44:35PM +0530, Pratyush Yadav wrote:
> Since I have taken over maintainership of git-gui, it is a good idea to
> point new contributors to my fork of the project, so they can see the
> latest version of the project.
> 
> Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>

Junio's already made this change in 253bfe49bd (SubmittingPatches:
git-gui has a new maintainer, 2019-09-18) in his branch
'jc/git-gui-has-maintainer'. We can drop this change since it's
redundant.