From 4150e74426fcebe3781240fc0a1513d81c60ab2e Mon Sep 17 00:00:00 2001 From: Andrew Bradley Date: Tue, 15 Oct 2024 12:37:03 -0400 Subject: [PATCH] Stable emit of plugins.json, so diffs are more readable --- ci/src/merge-manifest.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/src/merge-manifest.py b/ci/src/merge-manifest.py index caedb202d..da132d4fd 100644 --- a/ci/src/merge-manifest.py +++ b/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 = []