diff --git a/Jenkinsfile b/Jenkinsfile index 74ada63c..20bf0df8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -68,6 +68,7 @@ pipeline { remote.host = 'reprepro.reprepro' remote.allowAnyHosts = true } + echo "$user $identityFile" sleep 600 // DEBUG sshPut([ remote: remote,