Merge pull request #224 from Infinisil/trusted

Move infinisil to trusted_users
2018-08-18 20:39:54 +02:00 · 2018-08-18 20:39:54 +02:00 · 8c078d84d0
parent b8f2ff188c 5c60c522c7
commit 8c078d84d0
2 changed files with 1 additions and 1 deletions
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@ -9,7 +9,6 @@
    "etu",
    "fgaz",
    "grwlf",
-    "infinisil",
    "imalsogreg",
    "jlesquembre",
    "johanot",
--- a/config.public.json
+++ b/config.public.json
@ -37,6 +37,7 @@
            "gilligan",
            "globin",
            "grahamc",
+            "infinisil",
            "jb55",
            "joachifm",
            "jtojnar",