diff options
author | EuAndreh <eu@euandre.org> | 2020-08-08 11:37:40 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2020-08-08 11:37:40 -0300 |
commit | 34ac923656da658259031f280b7b855f4d922142 (patch) | |
tree | 3a58ba11a23a1bebe001433c7214df992e0f7f3a /scripts | |
parent | Remove gpodder.net sync software from the server (diff) | |
download | toph-34ac923656da658259031f280b7b855f4d922142.tar.gz toph-34ac923656da658259031f280b7b855f4d922142.tar.xz |
scripts/ci/setup.sh: Get GPG key from server
Instead of storing it on the repository.
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |