remove www from the github URL

w3c · Apr 8, 2020 · 8ec5a13 · 8ec5a13
1 parent df3447e
commit 8ec5a13
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/publication/rec/diff.html b/publication/rec/diff.html
@@ -1587,7 +1587,7 @@ <h2>
 Recommendation.
 </p>
 <p>
-<a href= "https://www.github.com/w3c/wot-thing-description/issues">
+<a href= "https://github.com/w3c/wot-thing-description/issues">
 GitHub
 Issues
 </a>

diff --git a/publication/rec/index.html b/publication/rec/index.html
@@ -1176,7 +1176,7 @@ <h2>Status of This Document</h2>
     "https://www.w3.org/WoT/WG/">Web of Things Working Group</a> as
     a Recommendation.</p>
     <p><a href=
-    "https://www.github.com/w3c/wot-thing-description/issues">GitHub
+    "https://github.com/w3c/wot-thing-description/issues">GitHub
     Issues</a> are preferred for discussion of this specification.
     Alternatively, you can send comments to our mailing list.
     Please send them to <a href=