From 6d2dc858ffcb8985bdf6c4e1bb4ef3bf0483cd81 Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Mon, 6 Jan 2020 16:40:23 -0800
Subject: [PATCH] enable github editor experiment (#2568)

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

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