W3C home > Mailing lists > Public > public-w3process@w3.org > April 2017

Github issues update

From: David Singer <singer@mac.com>
Date: Mon, 24 Apr 2017 11:30:03 +0800
Message-id: <804F1789-51A8-4489-91BF-4FD119C5ABAD@mac.com>
To: public-w3process <public-w3process@w3.org>

when I moved the issues from the W3C Issue Tracker to GitHub, I replicated their W3C state with a GitHub issue tag, but it struck me that that was not optimal. 

W3C Issues have various states, among which are:

Raised — newly entered, not yet accepted as an issue by the group
Open — taken up by the working group
Pending Review — believed addressed, waiting for confirmation/acceptance
Closed — obvious
Postponed — not under active consideration, deferred to a future version

So I created a couple of tags:  PendingReview (matches), and ‘Active’ (which replaces the prior ‘open’ state).

If we need ‘postponed’ we can create it.  Newly entered issues are untagged and hence ‘Raised’; and issues can be closed.  So, the matching is, from old state to GitHub

Raised — no tag
Open: Active
Pending Review: PendingReview

I hope this helps; we can fiddle as needed (though it would be good if there were normal practice across all W3C groups).

Comments welcome

Dave Singer

Received on Monday, 24 April 2017 03:30:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:51:43 UTC