pull code from Github before push

ikmdev · May 8, 2023 · f0a4f9e · f0a4f9e
1 parent 8b58961
commit f0a4f9e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile-release b/Jenkinsfile-release
@@ -95,7 +95,8 @@ pipeline {
                         sh "git push downstream ${RELEASE_VERSION}"
 
                         // Push the branch to downstream remote
-                        sh "git push downstream ${BRANCH}"
+                        sh "git pull downstream ${BRANCH}"
+                        //sh "git push downstream ${BRANCH}"
                     }
                 }
             }