From 72b971672158e273bad7657557b65817c4e5f930 Mon Sep 17 00:00:00 2001
From: Peli <jhalleux@microsoft.com>
Date: Tue, 14 Jan 2020 15:20:09 -0800
Subject: [PATCH] enable github integration

---
 pxtarget.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pxtarget.json b/pxtarget.json
index f8bbd5ba..d5e2f65d 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -419,7 +419,8 @@
         "simGifTransparent": "rgba(0,0,0,0)",
         "simGifMaxFrames": 44,
         "simScreenshotMaxUriLength": 300000,
-        "importExtensionFiles": true
+        "importExtensionFiles": true,        
+        "githubEditor": true
     },
     "queryVariants": {
         "hidemenu": {