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

[Admin] 'Locator'-s repository name changes

From: Ivan Herman <ivan@w3.org>
Date: Mon, 18 Dec 2017 10:37:38 +0100
Message-Id: <4C50C772-D5A0-4BA1-9112-5BDC24578F18@w3.org>
To: W3C Publishing Working Group <public-publ-wg@w3.org>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:52:19 UTC