[Admin] 'Locator'-s repository name changes

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>