all repos — nixfiles @ 13785c1eb7c0b85f171e6eb89b6b7bb4f47c6ade

System and user configuration, managed by nix and home-manager