From dd7e2a12842e9fb01fb302cc860bc78567e0b0c9 Mon Sep 17 00:00:00 2001
From: Etienne Pallier <epallier@irap.omp.eu>
Date: Wed, 23 Jan 2019 11:47:55 +0100
Subject: [PATCH] git avec option http.sslVerify=false

---
 install/update.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install/update.sh b/install/update.sh
index e32eae3..1c0bada 100755
--- a/install/update.sh
+++ b/install/update.sh
@@ -51,7 +51,8 @@ read do_it ; [[ -z $do_it ]] && do_it="o" ; echo $do_it
 [[ $do_it != "o" ]] && exit 0
 
 cd ../ || abort
-git pull || abort
+#git pull || abort
+git -c http.sslVerify=false pull || abort
 cd - >/dev/null || abort
 
 # TEST only
--
libgit2 0.21.2