diff options
Diffstat (limited to 'update_jdn.sh')
-rwxr-xr-x | update_jdn.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 1ce08d94..dfd999d7 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -690,17 +690,6 @@ EOF fi fi -# As a one-off, send our key to the keyserver -GPG_KEY_ID="$(sudo -u jenkins gpg --with-colons --fixed-list-mode --list-secret-keys | grep '^sec' | cut -d: -f5 | tail -n1)" - -if [ "$GPG_KEY_ID" = "" ] -then - explain "$(date) - Could not find existing GPG key to submit" -else - explain "$(date) - Submitting previously-generated GPG key $GPG_KEY_ID to keyserver" - sudo -u jenkins gpg --send-keys $GPG_KEY_ID -fi - # # There's always some work left... # echo FIXME is ignored so check-jobs scripts can output templates requiring manual work |