diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 4eb0ecf..b59a6a0 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -9,7 +9,6 @@
     "etu",
     "fgaz",
     "grwlf",
-    "infinisil",
     "imalsogreg",
     "jlesquembre",
     "johanot",
diff --git a/config.public.json b/config.public.json
index 6ace5d6..4d45315 100644
--- a/config.public.json
+++ b/config.public.json
@@ -37,6 +37,7 @@
             "gilligan",
             "globin",
             "grahamc",
+            "infinisil",
             "jb55",
             "joachifm",
             "jtojnar",