Close PR #16 - Superseded by infra approach #17
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
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?
Closing PR #16. The per-host config idea (hosts/ directory) was adopted in the infra repo's approach with Nix-based linking instead of $HOST variable. See infra branch uconsole-cm5-incremental for the implementation.