W3C home > Mailing lists > Public > public-publ-wg@w3.org > August 2017

[pwg] GitHub labels, projects, and documentations

From: Siegman, Tzviya - Hoboken <tsiegman@wiley.com>
Date: Tue, 8 Aug 2017 16:04:33 +0000
To: W3C Publishing Working Group <public-publ-wg@w3.org>
Message-ID: <SN1PR0201MB1615F9FF18EFCE2A2EA9581AD58A0@SN1PR0201MB1615.namprd02.prod.outlook.com>
Hello PWG,

Ivan has done some work to make our GitHub repos a little easier to manage and follow.

We have labels [1], issues [2], and projects [3]. We will create similar tags on the other repositories as well. This should help us keep track of discussions. Please also see GitHub's documentation about searching issues and pull requests [4]. If you would like add a label or project, please make a suggestion.

[1] https://github.com/w3c/wpub/labels

[2] https://github.com/w3c/wpub/issues

[3] https://github.com/w3c/wpub/projects
[4] https://help.github.com/articles/searching-issues-and-pull-requests/

Tzviya Siegman
Information Standards Lead
Received on Tuesday, 8 August 2017 16:05:05 UTC

This archive was generated by hypermail 2.3.1 : Monday, 23 October 2017 15:49:06 UTC