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