Your browser sucks, JavaScript disabled! Gunnar's console needs JavaScript and WebAssembly. Git over SSH on port 2222 does not.

nordisk/holger

.nornir/holger-repo-cleanup.md

holger repo cleanup — 2026-09-15

Three repos were in play:

repo where state
nordisk/holger codeberg the real one
vetra-automation/holger-mvp GitHub, private frozen fork of holger at 601051a (2026-07-23), 0 unique commits — archived
nordisk/holger-ui git.gunnar.rs (moved from GitHub 2026-10-25) Leptos/WASM web console, a different stack from the egui app

Done

# what where
1 archive holger-mvp (nothing unique; MVP is the mvp-server / -musl / mvp-bundle / mvp-verify variants + the appliance container) GitHub, archived
2 prune 14 remote branches already merged into main codeberg nordisk/holger
3 delete Liveness::PendingMvpMerge (dead since the MVP merged) holger febbf6f
4 ONE build thing: build-space + holger-build + edda's nornir-buildspec-holger → holger-build-thing; variants declared in Rust, .nornir/build-variants.toml emitted and byte-guarded, the three toml copies gone, row reasoning kept in .nornir/build-thing-design.md holger 3d234fa, edda 0b6234a
5 holger-ui: build.rs on protox (no protoc) compiling against ../holger/proto when present, vendored copy guarded by tests/proto_is_holgers.rs; deploy/publish.sh + verify-chain.sh → cargo xtask publish / verify-chain in Rust; stale holger-ui egui name fixed holger-ui branch chore/pure-rust-deploy-and-holger-proto

Merge order: holger cleanup/holger-dedup → then edda cleanup/drop-buildspec-holger (holger main still dev-depends on the edda crate until the first merge).

Not done