diff --git a/ci/collect-repo-info.py b/ci/collect-repo-info.py index 8aa6a49cf5..0fc6b6b8e2 100755 --- a/ci/collect-repo-info.py +++ b/ci/collect-repo-info.py @@ -9,6 +9,7 @@ Example usage: """ import argparse +import copy import json import logging import pathlib @@ -207,6 +208,11 @@ def main(): info["included_plugins"] = included_plugins_info + 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 + json_str = json.dumps(info, indent=2, sort_keys=True) print(json_str)