Re: [PATCH] ci: github action - add check for whitespace errors
- From
Jeff King <peff@peff.net>
- Date
- Oct 9, 2020, 18:18 UTC
- 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:
Show 13 quoted lines
> > 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