From e84eaf5b5d07bd147782bfb90ee2a8aa1599cfda Mon Sep 17 00:00:00 2001
From: Tobias Happ <tobias.happ@gmx.de>
Date: Sun, 25 Nov 2018 20:25:59 +0100
Subject: [PATCH] Add Gerschtli to extra-known-users

---
 config.extra-known-users.json | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index 727a400..4707238 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -12,13 +12,14 @@
     "edef1c",
     "Ekleog",
     "Enzime",
-    "erikarvstedt",
-    "erictapen",
-    "etu",
     "eqyiel",
+    "erictapen",
+    "erikarvstedt",
+    "etu",
     "fgaz",
     "florianjacob",
     "geistesk",
+    "Gerschtli",
     "grwlf",
     "imalsogreg",
     "jlesquembre",