From 6deb0683b6bd4122ff6cf9057c1f056501cfe517 Mon Sep 17 00:00:00 2001
From: Thomas Denney <me@thomasdenney.co.uk>
Date: Wed, 7 Sep 2016 10:33:36 +0100
Subject: [PATCH] Add GitHub URL property

---
 pxtarget.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pxtarget.json b/pxtarget.json
index de3d6af8..8d9a9ef3 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -113,6 +113,7 @@
         "embedUrl": "https://codethemicrobit.com/",
         "privacyUrl": "https://go.microsoft.com/fwlink/?LinkId=521839",
         "termsOfUseUrl": "https://go.microsoft.com/fwlink/?LinkID=206977",
+        "githubUrl": "https://github.com/Microsoft/pxt-microbit",
         "boardName": "BBC micro:bit",
         "docMenu": [
             {