W3C home > Mailing lists > Public > spec-prod@w3.org > January to March 2017

Re: Editor's notes

From: Marcos Caceres <marcos@marcosc.com>
Date: Tue, 21 Feb 2017 19:18:04 +1100
To: Gregg Kellogg <gregg@greggkellogg.net>
Cc: spec-prod <spec-prod@w3.org>
Message-ID: <etPan.58abf7bc.5412969d.326@marcosc.com>

On February 21, 2017 at 6:06:40 AM, Gregg Kellogg (gregg@greggkellogg.net) wrote:
> > Other than ensuring that it’s clear this is an Editor’s Note  
> vs a regular note, I don’t really have an opinion. It might be worth  
> having some logic to verify that all ednotes are removed before  
> CR, or some other suitable milestone.

I can add this to ReSpec's linter. Should we say CR as the cut off? that is, if CR or greater, then generate warning (suggesting it be changed to a real "note", "issue", or removed).
Received on Tuesday, 21 February 2017 08:18:43 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:55:22 UTC