v1.2.0

1.2.0 (2026-08-15)

Features

• a pre-push hook, running the half of CI that is cheap (e840628)
• core: the menu bar, two extensions, and defaults that reach an environment already running (0ed85a3)
• init prepares the host, dev opens the environment (2770865)
• the container's limits are the project's, in the manifest (57d0ebd)
• the window's buttons go in the bar code-server already draws (e459527)

Bug Fixes

• python: add the PPA without asking the Launchpad API (a74990e)