all repos — nixfiles @ 807ddb9799070fd3b610163a1bf5c8a64c756b1c

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