From ae25c307af96c3078ed96d0f36de8d8e12e4db80 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Wed, 18 Apr 2018 12:10:18 +0200
Subject: remove conf/admin-gpg-keys and all traces

---
 conf/default.conf | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'conf/default.conf')

diff --git a/conf/default.conf b/conf/default.conf
index efbb5b4..daaf31c 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -34,19 +34,6 @@ master_build_server_identity="${work_dir}/.ssh/id_rsa"
 repo_key='0xdeadbeef'
 package_key='0x15eebadc0de'
 
-# what can be done via the email interface
-possible_email_actions='stabilize block unblock schedule copy-to-build-support'
-
-# how many lines of email logs should be kept maximally
-max_mail_log_lines=10
-
-# who can do above actions
-if [ -s "${base_dir}/conf/admin-gpg-keys" ]; then
-  admin_gpg_keys=$(
-    sed 's|\s*#.*$||' "${base_dir}/conf/admin-gpg-keys"
-  )
-fi
-
 # How long should packages in the pipeline be considered "fresh" (in days)?
 # If a package surpasses this limit, it will be considered unimportant and won't
 # block other packages anymore
-- 
cgit v1.2.3