From 004a181b6af7548b8c0629027b10c26d415ee3d6 Mon Sep 17 00:00:00 2001
From: "Dustin C. Hatch" <dustin@hatch.name>
Date: Thu, 26 Jul 2018 18:34:20 -0500
Subject: [PATCH] ci: Use SSH agent and accept host key

---
 ci/Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 2b6d62a..5750b33 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -9,7 +9,10 @@ pipeline {
     stages {
         stage('Publish') {
             steps {
-                sh '. ci/publish.sh'
+                sshagent(['jenkins-web']) {
+                    sh "ssh -oStrictHostKeyChecking=no ${PUBLISH_USER}@${PUBLISH_HOST} :"
+                    sh '. ci/publish.sh'
+                }
             }
         }
     }