Push to HEAD.

This commit is contained in:
Manuele Simi 2021-01-23 22:53:16 -05:00
parent 1007a47a94
commit caf2a4a4f2
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
source actions.sh
rm actions.sh
git push --force origin
git push origin HEAD:master
""")
}
}