added nickname / github search flag

2016-10-07 02:53:18 -07:00 · 2016-10-07 02:53:18 -07:00 · 09dc67717c
parent 20dcd5ce34
commit 09dc67717c
1 changed files with 3 additions and 1 deletions
--- a/pxtarget.json
+++ b/pxtarget.json
@ -1,5 +1,6 @@
 {
    "id": "microbit",
+    "nickname": "microbit",
    "name": "code the micro:bit",
    "title": "code the micro:bit - Blocks / Javascript editor",
    "description": "A Blocks / JavaScript code editor for the micro:bit.",
@ -20,7 +21,8 @@
            "Microsoft/pxt-sonar",
            "Microsoft/pxt-max6675",
            "Microsoft/pxt-i2c-fram"
-        ]
+        ],
+        "githubPackages": true
    },
    "blocksprj": {
        "id": "blocksprj",