W3C home > Mailing lists > Public > public-vc-wg@w3.org > March 2019

Remamed GitHub Label to CRExit-Blocker

From: Matt Stone <mstone@stonecover.com>
Date: Thu, 7 Mar 2019 09:55:08 -0700
Message-ID: <CAJFiK0Yvq_OC-hpzE82qSr9XsiwmOHkdyfijHAedvrBjXx5MxA@mail.gmail.com>
To: public-vc-wg@w3.org
Dan and I just renamed the gitHub label "non-spec important thing" to
"CRExit-Blocker"

This name is more descriptive of the purpose.  We must close these item
before we go to a Proposed Rect (PR).

The label CR-Blocker continues to represent issues that must be addressed
before the enter CR.

If you have a book mark that filters on label, we just probably just broke
it -- sorry about that.

.stone
Received on Thursday, 7 March 2019 16:55:47 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 7 March 2019 16:55:48 UTC