diff --git a/config.public.json b/config.public.json index 75920cb..f5a08e1 100644 --- a/config.public.json +++ b/config.public.json @@ -9,6 +9,7 @@ "repos": [ "nixos/nixpkgs", "nixos/ofborg", + "grahamc/ofborg", "grahamc/nixpkgs" ], "trusted_users": [