From 34ac923656da658259031f280b7b855f4d922142 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sat, 8 Aug 2020 11:37:40 -0300 Subject: scripts/ci/setup.sh: Get GPG key from server Instead of storing it on the repository. --- scripts/ci/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/ci/setup.sh b/scripts/ci/setup.sh index 0b2906f..d876df7 100755 --- a/scripts/ci/setup.sh +++ b/scripts/ci/setup.sh @@ -23,4 +23,4 @@ source .envrc git config --global user.email "${GIT_CI_USER}" git config --global user.name "sr.ht CI" -gpg --quiet --import "${GPG_TO}.gpg" +curl https://euandre.org/public-key.txt | gpg --import -- cgit v1.2.3