all repos — nixfiles @ ef5f08a26dc2fa6dcac05ea5d1cd420d85dec6a7

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