all repos — nixfiles @ 723c2134d51d9a07cc9fd5eb69d49b4b09412d65

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