From ae25c307af96c3078ed96d0f36de8d8e12e4db80 Mon Sep 17 00:00:00 2001 From: Erich Eckner 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') 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-70-g09d2