MIP sync runs publishing-v11, which predates own-package: bledev ships inside pydevices

[bdbarnett]

pydevices' mip-split.toml marks [bledev] as own-package = true with requires = ["aioble"], so a board without a radio shouldn't carry BLE. On the live index it doesn't work that way. package/6/pydevices/latest.json for 0.6.1 lists 14 bledev/*.mpy files inside pydevices, and there's no standalone bledev package (package/6/bledev/latest.json is a 404). A board install of pydevices 0.6.1 on the T-Embed confirmed it: 44 of 44 files matched that manifest, bledev included.

Why: PyDevices/mip calls reusable-synchronize-mip-package.yml@publishing-v11. v11 (ee7538a) predates 2842ca1 "pydevices publishing: own-package MIP packages and PyPI extras", which is on main only. git show publishing-v11:scripts/synchronize_mip_package.py has no own-package handling at all. The PyPI extras from the same commit are presumably missing from the pydevices wheel build for the same reason.

What to do: cut the next publishing tag with the documented tag script, move the callers to it, then check with the next pydevices release that the index shows a standalone bledev package (with aioble included) and a pydevices package without bledev/.

[bdbarnett]

The caller moves are ready as drafts: PyDevices/mip#5 and PyDevices/pydevices#108. The tag is yours to cut, because cutting one moves every repo that pins it.

In order:

1. Cut v12 from a clean, level main. The script rewrites the coordinator's sibling refs and the tools-ref defaults, commits that, tags and pushes:

   cd ~/gh/pydevices/dotgithub && git switch main && git pull --ff-only && scripts/cut_publishing_tag.sh 12
   

2. Merge mip#5, then pydevices#108.
3. Cut the next pydevices release. Check that package/6/bledev/latest.json exists and lists aioble, and that package/6/pydevices/latest.json has no bledev/ files.

What I checked on main (ac15a44): dotgithub's tests pass (Ran 50 tests ... OK). A dry run of the script's rewrite in a scratch worktree leaves all seven refs naming publishing-v12, with no ./ sibling calls. The coordinator's inputs haven't changed for a caller that doesn't set pypi-publish, and pydevices doesn't set it. Only mip and pydevices pin v11, so nothing else moves.

[bdbarnett]

Fixed. publishing-v12 is cut, mip#5 and pydevices#108 moved both callers to it, and pydevices 0.6.3 (the first release under v12) shows the split on the live index: package/6/bledev/latest.json is its own package (23 files, aioble bundled), and package/6/pydevices/latest.json has no bledev/ files. The site's package list needed one more line (mip 4f1ee495: bledev is the pydevices profile's third package) and is deployed.