Add ci.md to docs.json

Amanda Butler · web-flow · commit 3b75a5c4c53b · 2019-02-04T13:42:10.000-06:00
Add content about CI to contributing guidelines.
diff --git a/docs.json b/docs.json
@@ -1304,6 +1304,10 @@
                 "type": "markdown",
                 "url": "https://github.com/ARMmbed/mbed-os-5-docs/blob/development/docs/reference/contributing/guidelines/guidelines.md"
             },
+            {
+                "type": "markdown",
+                "url": "https://github.com/ARMmbed/mbed-os-5-docs/blob/development/docs/reference/contributing/guidelines/ci.md"
+            },
             {
                 "type": "markdown",
                 "url": "https://github.com/ARMmbed/mbed-os-5-docs/blob/development/docs/reference/contributing/guidelines/license.md"
