Add git repository, issues, commit links

2025-06-26 10:11:26 +00:00 · 2016-01-21 15:47:55 -08:00
parent 3c6f297d20
commit 1dfa2bb78d
1 changed files with 19 additions and 0 deletions
--- a/index.html
+++ b/index.html
@ -15,6 +15,25 @@
          wgURI: "http://www.w3.org/Social/WG",
          wgPublicList: "public-socialweb",
          wgPatentURI: "http://www.w3.org/2004/01/pp-impl/72531/status",
+          otherLinks: [
+              {
+                  "key": "Repository",
+                  "data": [
+                      {
+                          "value": "Git repository",
+                          "href": "https://github.com/w3c-social/activitypub",
+                      },
+                      {
+                          "value": "Issues",
+                          "href": "https://github.com/w3c-social/activitypub/issues",
+                      },
+                      {
+                          "value": "Commits",
+                          "href": "https://github.com/w3c-social/activitypub/commits/master",
+                      }
+                  ]
+              }
+          ],
          editors: [
                {
                    name:       "Christopher Allan Webber",