Force the push.

This commit is contained in:
Manuele Simi 2021-01-23 23:28:12 -05:00
parent 1fe6b724fb
commit b1e6c396c6
1 changed files with 1 additions and 1 deletions

2
Jenkinsfile vendored
View File

@ -165,7 +165,7 @@ def exec(actions, repo_url, repo_name) {
chmod a+x actions.sh chmod a+x actions.sh
source actions.sh source actions.sh
rm actions.sh rm actions.sh
git push origin HEAD:master || true git push --force origin HEAD:master || true
""") """)
} }
} }