Add repos to the public config

2018-02-23 21:45:18 -05:00 · 2018-02-23 21:45:18 -05:00 · f6289be861
parent 08a0a79976
commit f6289be861
2 changed files with 3 additions and 0 deletions
--- 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",
--- a/ofborg/src/bin/evaluation-filter.rs
+++ b/ofborg/src/bin/evaluation-filter.rs