From 6c0e8870beb02f3705a319412be964720fd7c2c3 Mon Sep 17 00:00:00 2001 From: takiguchi Date: Fri, 23 Aug 2019 22:14:04 +0200 Subject: [PATCH] Edit jenkins credentials for gitea server. --- jenkins/Jenkinsfile-prod | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins/Jenkinsfile-prod b/jenkins/Jenkinsfile-prod index 1f96dfd..8f5973c 100644 --- a/jenkins/Jenkinsfile-prod +++ b/jenkins/Jenkinsfile-prod @@ -14,7 +14,7 @@ pipeline { stage('Configuration') { steps { dir('minager-properties') { - git url:'https://gitea.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e' + git url:'https://gitea.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'Jenkins-gitea' } script { sh 'cp ./minager-properties/application-prod.yml ./src/main/resources/application.yml'