all repos — nixfiles @ 8f00c98d5d06a0f9eed7ffa717aa9141d19b8ca7

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