- From: Ivan Herman <ivan@w3.org>
- Date: Mon, 18 Dec 2017 10:37:38 +0100
- To: W3C Publishing Working Group <public-publ-wg@w3.org>
Received on Monday, 18 December 2017 09:37:47 UTC
Dear all, in accordance with the name change of the locator document[1], the repository name has changed for[2] and the editor's draft address has become[3]. Although Github maintains redirections for issues and other pointers, except for the old editor's draft address (you can use only [3]), it is probably wise to change your local settings in case you had a clone of that repository on your machine. The content of the repo[2] will be updated today, too. Ivan [1] https://github.com/w3c/wpub-ann/issues/38#issuecomment-351998027 <https://github.com/w3c/wpub-ann/issues/38#issuecomment-351998027> [2] https://github.com/w3c/wpub-ann <https://github.com/w3c/wpub-ann> [3] https://w3c.github.io/wpub-ann/ <https://w3c.github.io/wpub-ann/> ---- Ivan Herman, W3C Publishing@W3C Technical Lead Home: http://www.w3.org/People/Ivan/ <http://www.w3.org/People/Ivan/> mobile: +31-641044153 ORCID ID: http://orcid.org/0000-0003-0782-2704 <http://orcid.org/0000-0003-0782-2704>
Received on Monday, 18 December 2017 09:37:47 UTC