all repos — nixfiles @ bad467785a2b3ecd11898b9d23d7c470521d32b6

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