all repos — nixfiles @ 8857d80bb0e1fddc8c21b8f2adbf3c270aa9429e

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