bin/update-gpg-keys: push keys to archlinux32.org/keys.php, too

1 files changed, 3 insertions, 0 deletions

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")' \
     "$(