From 78703cbf4be18a194ad7e40a605c6bbb1e238a9c Mon Sep 17 00:00:00 2001
From: Andreas Herrmann <andreas.herrmann@tweag.io>
Date: Tue, 3 Sep 2019 15:40:57 +0200
Subject: [PATCH] Add aherrmann to known users

---
 config.extra-known-users.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config.extra-known-users.json b/config.extra-known-users.json
index a8b89ec..a449f3b 100644
--- a/config.extra-known-users.json
+++ b/config.extra-known-users.json
@@ -1,4 +1,5 @@
 [
+    "aherrmann",
     "anton-latukha",
     "akru",
     "arcnmx",