Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbin/build-packages14
1 files changed, 13 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages
index 73279f9..047130b 100755
--- a/bin/build-packages
+++ b/bin/build-packages
@@ -863,7 +863,19 @@ while [ "${count}" -ne 0 ] && \
' {} \; | \
xargs -rn1 gpg --recv-keys || \
true
- # TODO: maybe, we want to auto-receive keys from github here, too?
+ if grep -q ' FAILED (unknown public key \([0-9A-F]\{16\}\))'; then
+ # download the repository key from github
+ # TODO: get the name of the key file from its finger print or
+ # some other information inside the repository
+ makepkg --printsrcinfo | \
+ sed -n '
+ s,^\ssource = git+\(https://github\.com/[^/[:space:]]\+\)/[^/]*$,\1.gpg,
+ T
+ p
+ ' | \
+ xargs -rn1 curl -s | \
+ gpg --import || true
+ fi
done
if ! ${success}; then