From caf2a4a4f2388fe479cdbe05d0828aaf7335f997 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 23 Jan 2021 22:53:16 -0500
Subject: [PATCH] Push to HEAD.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
             """)
         }
     }