@@ -14,4 +14,4 @@ Please, check out the following pages if you would like to:
Problems with git pull/push:
-------------------------------
Recently, we have experienced problems with git pulling/pushing from/to OpenVT repositories. This seems to be due to a ssl certificate problem. We are working on fixing that issue -- however, until it is fixed we have found a workaround: [SSL certificate workaround]()
Recently, we have experienced problems with git pulling/pushing from/to OpenVT repositories. This seems to be due to a ssl certificate problem. We are working on fixing that issue -- however, until it is fixed we have found a workaround: [SSL certificate workaround](https://virtual.openvt.eu/platform_manual_and_guidelines/manual_and_guidelines/wikis/SSL-workaround)
