Merge pull request #404 from cspotcode/patch-1

Stable emit of plugins.json, so diffs are more readable

Author: jjw24

ci/src/merge-manifest.py

@@ -2,7 +2,7 @@
 import json
 
 if __name__ == "__main__":
-    plugins = glob.glob("plugins/*.json")
+    plugins = sorted(glob.glob("plugins/*.json"))
 
     manifests = []