From: Jeff King <peff@peff.net>
Date: Fri, 09 Oct 2020 18:18:27 GMT
Subject: Re: [PATCH] ci: github action - add check for whitespace errors
Message-ID: <20201009181827.GA965760@coredump.intra.peff.net>
In-Reply-To: <xmqqeem7tgh4.fsf@gitster.c.googlers.com>

On Fri, Oct 09, 2020 at 11:13:43AM -0700, Junio C Hamano wrote:

> > As the other person in the discussion, I'm sufficiently convinced that
> > doing this just for PRs is a good step for now. I.e., I think the
> > "completed form" is just what was posted already (though I agree it is
> > often convenient to the maintainer to re-post the patch as part of the
> > ping).
> 
> Yes, and CC'ing those who were involved in the review would give
> them the last chance to say "oh, no, that extra change you added
> for this final submission was not something I meant to suggest!",
> etc.
> 
> So, is <pull.709.git.1600759684548.gitgitgadget@gmail.com> as-is the
> one we should take?

AFAIK it's the only one on the list. :) So yes, that one is fine with
me.

-Peff