all repos — nixfiles @ 723851f23fef1cbe5be8db59ad0f19bc0684b05b

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