From 28bbaa18a412546174b60e76a71660ca4d2a93f5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20Hedenstr=C3=B6m?= <erik@codemate.se>
Date: Tue, 18 Mar 2014 12:44:26 +0100
Subject: [PATCH] Fixed covertool url

---
 install/43_covertool.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 install/43_covertool.sh

diff --git a/install/43_covertool.sh b/install/43_covertool.sh
old mode 100644
new mode 100755
index 4acf683..e07dd7c
--- a/install/43_covertool.sh
+++ b/install/43_covertool.sh
@@ -7,7 +7,7 @@ set -e # Exit on errors
 
 cd $JENKINS_HOME/tools
 
-git clone git@github.com:idubrov/covertool.git
+git clone git://github.com/idubrov/covertool.git
 cd covertool
 rebar -r update-deps compile escriptize
 mkdir bin
-- 
GitLab