Merge pull request #207 from dotlambda/dotlambda-trusted

Move dotlambda to trusted users
2018-08-07 15:50:16 -04:00 · 2018-08-07 15:50:16 -04:00 · 334a765f1d
parent 43b6881493 819e40ad30
commit 334a765f1d
2 changed files with 1 additions and 1 deletions
--- a/config.known-users.json
+++ b/config.known-users.json
@ -34,7 +34,6 @@
      "dguibert",
      "disassembler",
      "domenkozar",
-      "dotlambda",
      "dtzwill",
      "dywedir",
      "edef1c",
--- a/config.public.json
+++ b/config.public.json
@ -26,6 +26,7 @@
            "dezgeg",
            "disassembler",
            "domenkozar",
+            "dotlambda",
            "dtzwill",
            "edolstra",
            "ericson2314",