From 2e4ec738e6e3d5f36d89d18cb29fa5b1e3d168a6 Mon Sep 17 00:00:00 2001
From: takiguchi <florian.thierry72@gmail.com>
Date: Fri, 23 Aug 2019 22:18:15 +0200
Subject: [PATCH] Edit jenkins credentials for ssh.

---
 jenkins/Jenkinsfile-prod | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod
index 8f5973c..a53e002 100644
--- a/jenkins/Jenkinsfile-prod
+++ b/jenkins/Jenkinsfile-prod
@@ -50,7 +50,7 @@ pipeline {
                 sshPublisher(
                     publishers: [
                         sshPublisherDesc(
-                            configName: 'DebianServer [minager]',
+                            configName: 'DebianServer [minecraft]',
                             transfers: [
                                 sshTransfer(
                                     cleanRemote: false,