diff --git a/config.public.json b/config.public.json
index 719b667..123bb8f 100644
--- a/config.public.json
+++ b/config.public.json
@@ -31,6 +31,7 @@
             "fpletz",
             "fridh",
             "garbas",
+            "gilligan",
             "globin",
             "grahamc",
             "jb55",