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 (