Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-04-18 12:10:18 +0200
committerErich Eckner <git@eckner.net>2018-04-18 12:10:18 +0200
commitae25c307af96c3078ed96d0f36de8d8e12e4db80 (patch)
treebe4840e1bbfe5fb253677789a825bc7a1420a593 /conf
parent85a12934a53fc06f5d4902e4e23ca79efc3f3995 (diff)
remove conf/admin-gpg-keys and all traces
Diffstat (limited to 'conf')
-rwxr-xr-xconf/default.conf13
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