mirror of
https://github.com/earendil-works/pi.git
synced 2026-10-14 04:49:25 +08:00
Separate stable and development entrypoints, exclude remote harness code from distributions, and verify isolated consumer installs before release. Fixes #9132.