W3C home > Mailing lists > Public > public-audio@w3.org > October to December 2015

Re: Proposal on pull requests

From: Paul Adenot <padenot@mozilla.com>
Date: Fri, 13 Nov 2015 10:55:45 +0100
Message-ID: <CANWt0Wq1xqeFpfUJWDR3wH+pfj9Yyu1DGtJdu5RU=spBjq=WyA@mail.gmail.com>
To: Raymond Toy <rtoy@google.com>
Cc: "public-audio@w3.org" <public-audio@w3.org>
WFM.

Paul.

On Fri, Nov 13, 2015 at 12:50 AM, Raymond Toy <rtoy@google.com> wrote:

> I'd like to make the following proposal on pull requests: Don't run tidy
> until you get an ok to merge.  Then run tidy to clean up the text at which
> point the editor (or author) can just do the commit.
>
> Why?  When you run tidy, I see paragraphs getting re-indented just because
> you changed one word in the paragraph.  Since my memory isn't so good, all
> I see is a huge diff.  Sometimes the diff shows what's changed and that's
> great; I can see it's just the one word.  But sometimes the diff doesn't
> show it which means I have to read and compare both paragraphs to figure
> out what changed.
>
> This does require an extra step from everyone, but I think it would be a
> net win for everyone if the diffs for review are much smaller.  Editors
> (and everyone else) can do quicker reviews and all the stupid (but
> important!) tidy stuff can be postponed to the end where the editor doesn't
> need to review anymore.  (Assuming you're not actually changing anything
> else!  If you do, you have to ask for a review again.)
>
> How does that sound?
>
> --
> Ray
>
>
Received on Friday, 13 November 2015 09:56:34 UTC

This archive was generated by hypermail 2.3.1 : Friday, 18 December 2015 09:00:35 UTC