From f6289be8612a24d46b683a3ecd31c88281ff217b Mon Sep 17 00:00:00 2001
From: Graham Christensen <graham@grahamc.com>
Date: Fri, 23 Feb 2018 21:45:18 -0500
Subject: [PATCH] Add repos to the public config

---
 config.public.json                                           | 3 +++
 ofborg/src/bin/{evalution-filter.rs => evaluation-filter.rs} | 0
 2 files changed, 3 insertions(+)
 rename ofborg/src/bin/{evalution-filter.rs => evaluation-filter.rs} (100%)

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