From 0d9ea438ab93fdbbb775979faebf1a6c083cfa47 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 22 Jan 2021 10:02:21 +0100
Subject: bin/update-gpg-keys: push keys to archlinux32.org/keys.php, too

---
 bin/update-gpg-keys | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'bin/update-gpg-keys')

diff --git a/bin/update-gpg-keys b/bin/update-gpg-keys
index 7e42291..5a37e78 100755
--- a/bin/update-gpg-keys
+++ b/bin/update-gpg-keys
@@ -28,6 +28,9 @@ fi
   | gpg --import --quiet \
   >/dev/null 2>&1 \
   || true
+  gpg -a --export "${fingerprint}" \
+  | curl -T - 'https://archlinux32.org/keys.php' \
+  >/dev/null 2>&1
   printf 'UPDATE `gpg_keys`'
   printf ' SET `gpg_keys`.`public_key`=from_base64("%s")' \
     "$(
-- 
cgit v1.2.3