From b62da6b00f5b0f6ccc1ad704f1c39e2ce66820d0 Mon Sep 17 00:00:00 2001
From: takiguchi <florian.thierry72@gmail.com>
Date: Tue, 13 Aug 2019 21:57:29 +0200
Subject: [PATCH] Correct release pipeline.

---
 jenkins/Jenkinsfile-do-release | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/jenkins/Jenkinsfile-do-release b/jenkins/Jenkinsfile-do-release
index 124c213..31c2418 100644
--- a/jenkins/Jenkinsfile-do-release
+++ b/jenkins/Jenkinsfile-do-release
@@ -6,11 +6,15 @@ pipeline {
     }
 
     stages {
-        stage('Perform release') {
+        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'
                 }
+            }
+        }
+        stage('Perform release') {
+            steps {
                 script {
                     sh '''
                         chmod u+x src/main/bash/do-release.bash