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