diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-05 11:05:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-05 11:05:52 +0200 |
| commit | 273f4458866271eb7746377a10dd4d8ebdb98614 (patch) | |
| tree | 6c75694b2d8ab1f7ebba112aa8db183d94850807 /conf | |
| parent | 5867cb10d272910c48457b5339ad4adbe746e987 (diff) | |
| download | builder-273f4458866271eb7746377a10dd4d8ebdb98614.tar.xz | |
bin/block-package new, bin/interprete-mail can now also block/unblock packages
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index fcaa39a..c78cc4b 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -34,6 +34,10 @@ max_parallel_build_per_client=2 repo_key='0xdeadbeef' package_key='0x15eebadc0de' +# what can be done via the email interface +possible_email_actions='stabilize block unblock' + +# 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" |