alexion/dev
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(nixos): build vendored Pi #46

Merged
alexion merged 3 commits from import-pi-0.85.1 into main 2026-09-14 10:51:32 -04:00
Conversation 0 Commits 3 Files Changed 1675 +397675 -458
alexion commented 2026-09-13 07:15:32 -04:00
Owner
Copy Link

Summary

  • Import Pi v0.85.1 under third_party/pi with a linear vendor commit.
  • Build the NixOS Pi package from vendored source.
  • Carry local Pi source edits directly in the vendored tree.
  • Remove obsolete patch files and the duplicate project-local Herdr state extension.
  • Document the rebase-safe Pi vendor update workflow.

Verification

  • Ran nix build .#nixosConfigurations.zeus.config.home-manager.users.alexion.programs.pi-coding-agent.package --no-link --print-out-paths.
  • Ran the built bin/pi --version and got 0.85.1.
## Summary - Import Pi `v0.85.1` under `third_party/pi` with a linear vendor commit. - Build the NixOS Pi package from vendored source. - Carry local Pi source edits directly in the vendored tree. - Remove obsolete patch files and the duplicate project-local Herdr state extension. - Document the rebase-safe Pi vendor update workflow. ## Verification - Ran `nix build .#nixosConfigurations.zeus.config.home-manager.users.alexion.programs.pi-coding-agent.package --no-link --print-out-paths`. - Ran the built `bin/pi --version` and got `0.85.1`.
alexion changed title from feat(nixos): build Pi from monorepo fork to feat(nixos): build vendored Pi 2026-09-14 10:41:26 -04:00
alexion added 3 commits 2026-09-14 10:49:36 -04:00
chore(vendor): import pi 0.85.1 4def357d09 
Imported as a linear vendor commit so forge rebases do not replay the upstream root tree.

git-subtree-dir: third_party/pi

git-subtree-split: d981de1229ef899957bbe968bc8dcda02a21f477
feat(nixos): build vendored pi 9e7759c9f5
docs(pi): document linear vendor workflow b6613b3a04
alexion force-pushed import-pi-0.85.1 from b9d956b4d3 to b6613b3a04 2026-09-14 10:49:36 -04:00 Compare
alexion merged commit b6613b3a04 into main 2026-09-14 10:51:32 -04:00
alexion deleted branch import-pi-0.85.1 2026-09-14 10:51:32 -04:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
alexion
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: alexion/dev#46
Delete Branch "import-pi-0.85.1"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?