diff options
author | Justin Worthe <justin@jemstep.com> | 2020-03-03 10:35:59 +0200 |
---|---|---|
committer | Justin Worthe <justin@jemstep.com> | 2020-03-03 10:35:59 +0200 |
commit | 26c507cbb9496e81a092c8ef5e334ee0d2bca2a0 (patch) | |
tree | c413a0efff90b9302bc305df72ef7f90d292addb | |
parent | f78169d60dbdc9a40651010ffc890674b05e7dca (diff) |
Switched GPG version to 1 instead of 2 for Github sandbox
It seems like the way Github has set up their pre-receive sandbox is preventing socket
communication between gpg2 and dirmngr, which completely breaks our ability to fetch
keys. Hopefully gpg1 will still work, since it's before these were split into different processes.
-rw-r--r-- | github/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/github/Dockerfile b/github/Dockerfile index 6510af0..f8a1e8d 100644 --- a/github/Dockerfile +++ b/github/Dockerfile @@ -1,3 +1,3 @@ FROM ubuntu:18.04 -RUN apt-get update && apt-get install -y git gnupg2 dirmngr +RUN apt-get update && apt-get install -y git gnupg1 && ln -s /usr/bin/gpg1 /usr/bin/gpg |