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

Author: cspotcode

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 = []