remove conf/admin-gpg-keys and all traces

1 files changed, 0 insertions, 13 deletions

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