update-keys: receive keys from build-master, too

1 files changed, 4 insertions, 0 deletions

diff --git a/update-keys b/update-keys
index c6e730c..be0b7b3 100755
--- a/update-keys
+++ b/update-keys
@@ -31,6 +31,7 @@ while read -ra data; do
 	keyid="${data[0]}"
 	username="${data[@]:1}"
 	${GPG} --recv-keys ${keyid} &>/dev/null
+	ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null
 	printf 'minimize\nquit\ny\n' | \
 		${GPG} --command-fd 0 --edit-key ${keyid}
 	${GPG} --yes --lsign-key ${keyid} &>/dev/null
@@ -42,6 +43,7 @@ ${GPG} --import-ownertrust < archlinux32-trusted 2>/dev/null
 while read -ra data; do
 	keyid="${data[0]}"
 	${GPG} --recv-keys ${keyid} &>/dev/null
+	ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null
 done < packager-keyids
 while read -ra data; do
 	keyid="${data[0]}"
@@ -61,6 +63,7 @@ while read -ra data; do
 	keyid="${data[0]}"
 	username="${data[2]}"
 	${GPG} --recv-keys ${keyid} &>/dev/null
+	ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null
 	printf 'clean\nquit\ny\n' | \
 		${GPG} --command-fd 0 --edit-key ${keyid}
 	if ! ${GPG} --list-keys --with-colons ${keyid} 2>/dev/null | grep -q '^pub:f:'; then
@@ -75,6 +78,7 @@ while read -ra data; do
 	keyid="${data[0]}"
 	username="${data[2]}"
 	${GPG} --recv-keys ${keyid} &>/dev/null
+	ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null
 	printf 'clean\nquit\ny\n' | \
 		${GPG} --command-fd 0 --edit-key ${keyid}
 	if ! ${GPG} --list-keys --with-colons ${keyid} 2>/dev/null | grep -q '^pub:f:'; then