Test with new version.

2019-08-13 22:03:19 +02:00
parent b62da6b00f
commit 87ac9cce7d
4 changed files with 6 additions and 4 deletions
--- a/jenkins/Jenkinsfile-do-release
+++ b/jenkins/Jenkinsfile-do-release
@@ -9,7 +9,7 @@ pipeline {
        stage('Clone Minager-properties repository') {
            steps {
                dir('minager-properties') {
-                    git url:'https://gogs.takiguchi.ovh/Minager/minager-properties.git', branch: 'master', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e'
+                    git url:'https://gogs.takiguchi.ovh/Minager/minager-properties.git', branch: 'do-release', credentialsId: 'a6494064-8130-42fd-9d3d-e7734518c79e'
                }
            }
        }