From e6be4e9dd8d9a68881cbe8f9a965a5b994b147ec Mon Sep 17 00:00:00 2001
From: Shane McCarron <halindrome@gmail.com>
Date: Wed, 10 Aug 2016 08:31:13 -0500
Subject: [PATCH] Add links into Github

Links at the top of the document make it easier for people to report issues and contribute.
---
 index.html | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index b05e48c5..b0ee2347 100644
--- a/index.html
+++ b/index.html
@@ -58,7 +58,17 @@
           ]
           ,   status:   "ED"
         }
-      }
+      },
+      otherLinks: [{
+        key: "Version control",
+        data: [{
+          value: "Github Repository",
+          href: "https://github.com/w3c/browser-payment-api"
+        }, {
+          value: "Issues",
+          href: "https://github.com/w3c/browser-payment-api/issues"
+        }]
+      }]
     };
   </script>
   <style>
@@ -1369,4 +1379,4 @@ <h2>Exposing user information</h2>
 </div>
 
 </body>
-</html>
\ No newline at end of file
+</html>