SSL-workaround.md

@@ -4,5 +4,13 @@ Workaround for SSL certificate error
 Recently, when pulling and pushing with git from the command line, in some cases an error occurred: 
 `SSL certificate problem: unable to get local issuer certificate`
 
-This is due to a problem with the SSL certificate, which we are working on. Until the problem is fixed, we recommend to simply disable SSL certificate verification. 
+This is due to a problem with the SSL certificate, which we are working on. Until the problem is fixed, we recommend to locally disable SSL certificate verification for certain repositories only. The way to do that is the following:
+* cd into the directory on your computer where the clone of a certain OpenVT repository is located
+* in order to check whether the error actually occurs, do a `git pull.` If the above error message does not pop up, there is nothing to do.
+* If it does, locally disable SSL check: `git config --local http.sslVerify false`
+* Check the git configuration: `git config --list` should yield (amongst other settings)  `http.sslverify=false`
+* If this is the case, try to `git pull` again: You should be asked for your username and password now. 
+* If you still encounter problems, please contact the platform admin with the issue tracking board of this repository. 
+
+