From 2c425748097d35b56255495bf6b46f91c4ad2e71 Mon Sep 17 00:00:00 2001 From: devhell Date: Sun, 8 Sep 2019 15:58:11 +0100 Subject: [PATCH] extra-known-users: Add devhell Now that I've been made a member, it's probably best to be able to trigger ofBorg where appropriate and necessary. --- 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..49cf5c5 100644 --- a/config.extra-known-users.json +++ b/config.extra-known-users.json @@ -12,6 +12,7 @@ "costrouc", "danieldk", "delroth", + "devhell", "Ekleog", "ElvishJerricco", "Enzime",