From b1e6c396c69bd5c3622f7c025d8e0ddb60922ea7 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 23 Jan 2021 23:28:12 -0500
Subject: [PATCH] Force the push.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 5746059..981915b 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 origin HEAD:master || true
+            git push --force origin HEAD:master || true
             """)
         }
     }