From edc1ec5bdcfc826bb03c38286f118d9f562e8c33 Mon Sep 17 00:00:00 2001
From: "Michael H.G. Schmidt" <michael@schmidt2.de>
Date: Thu, 1 Feb 2024 12:32:02 +0100
Subject: [PATCH] no ssl for git please.

---
 tools/personalfiles.cmd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/personalfiles.cmd b/tools/personalfiles.cmd
index 882cfe5..e032145 100644
--- a/tools/personalfiles.cmd
+++ b/tools/personalfiles.cmd
@@ -63,6 +63,7 @@ if NOT exist %GITWORKDIR% (
 
 echo cloning GIT repository ...
 cd %GITWORKDIR%
+git config --global http.sslVerify false
 git clone https://%USERNAME%@%gitserver%/%USERNAME%/%gitrepo%.git
 
 if %ERRORLEVEL% NEQ 0 (