diff --git a/Jenkinsfile b/Jenkinsfile index f4f743c..3914597 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -165,7 +165,7 @@ def exec(actions, repo_url, repo_name) { chmod a+x actions.sh source actions.sh rm actions.sh - git push --force origin + git push origin HEAD:master """) } }