From fd9d58ac9e683d4d8acc92146144f8fd2e47b9ff Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 20 Jan 2020 11:08:08 +0100
Subject: update-website: change signing key

---
 update-website | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/update-website b/update-website
index 64b0582..ec1dabb 100755
--- a/update-website
+++ b/update-website
@@ -304,10 +304,10 @@ if [ $(echo "${sign_keys}" | grep -c '\S') -ne 1 ]; then
   exit 1
 fi
 
-if [ "${sign_keys}" != 'F2955C3B63EE4E421F30670A3B08EFC6BA974CFC' ] &&
-  [ "${sign_keys}" != '248BF41F9BDD61D41D060AE774EDA3C6B06D0506' ] &&
-  [ "${sign_keys}" != 'DE9F7688CACF04FEB81A6C590AEEC90755DA7B5A' ]; then
-  >&2 echo "Unknown signing key '${sign_keys}'."
+if [ "${sign_keys}" != '33CA3597B0D161AAE4173F65C17F1214114574A4' ]; then
+  >&2 printf 'Isos are signed with key %s instead of %s.\n' \
+     "${sign_keys}" \
+     '33CA3597B0D161AAE4173F65C17F1214114574A4'
   exit 1
 fi
 
-- 
cgit v1.2.3-70-g09d2