From 4597f5c34d759fb019871bb300b55b5ea7f869de Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 23 Oct 2026 16:17:05 -0500 Subject: [PATCH] update_package_list: pydevices 0.7.7 adds hmilink to the index The 0.7.7 publication deployed its index and then failed the package-list refresh, because the expected set is derived from this table and it did not know the new top-level package. --- scripts/update_package_list.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/update_package_list.py b/scripts/update_package_list.py index 19c609a2f..b76667e81 100755 --- a/scripts/update_package_list.py +++ b/scripts/update_package_list.py @@ -94,6 +94,13 @@ "micropython/pydevices/usb-host-net", "micropython/pydevices/usb-host-video", ), + # 0.7.7 adds hmilink, a top-level package in mip-split.toml like the + # ones above (pydevices 6f671de). Without this line the 0.7.7 + # publication deployed its index and then failed the list refresh + # with "hmilink: in the index ... but not derived from the lockfile". + "0.7.7": ( + "micropython/pydevices/hmilink", + ), }, }