diff --git a/config.public.json b/config.public.json
index 3df14ad..40bc9c4 100644
--- a/config.public.json
+++ b/config.public.json
@@ -32,6 +32,7 @@
             "fpletz",
             "fridh",
             "garbas",
+            "gilligan",
             "globin",
             "grahamc",
             "jb55",