From 40b1d8f913be3e3c87f00eb6caa05e4f52ab3f99 Mon Sep 17 00:00:00 2001 From: Robin Sommer Date: Mon, 15 May 2023 17:21:59 +0200 Subject: [PATCH] Tweak format of `zkg` information in build info. --- ci/collect-repo-info.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/collect-repo-info.py b/ci/collect-repo-info.py index 0fc6b6b8e2..d8bfc8201e 100755 --- a/ci/collect-repo-info.py +++ b/ci/collect-repo-info.py @@ -211,7 +211,7 @@ def main(): zkg_provides_info = copy.deepcopy(included_plugins_info) # Hardcode the former spicy-plugin so that zkg knows Spicy is available. zkg_provides_info.append({"name": "spicy-plugin", "version": info["version"].split("-")[0]}) - info["zkg_provides"] = zkg_provides_info + info["zkg"] = {"provides": zkg_provides_info} json_str = json.dumps(info, indent=2, sort_keys=True) print(json_str)