diff --git a/config.public.json b/config.public.json
index d44b9a1..3aaeea9 100644
--- a/config.public.json
+++ b/config.public.json
@@ -6,6 +6,9 @@
         "path": "/var/lib/nginx/ofborg/logs/"
     },
     "runner": {
+        "repos": [
+            "nixos/nixpkgs"
+        ],
         "trusted_users": [
             "7c6f434c",
             "adisbladis",
diff --git a/ofborg/src/bin/evalution-filter.rs b/ofborg/src/bin/evaluation-filter.rs
similarity index 100%
rename from ofborg/src/bin/evalution-filter.rs
rename to ofborg/src/bin/evaluation-filter.rs