From 91de5b6f1f6a10b5ede22e710c90b0a3b3d4262a Mon Sep 17 00:00:00 2001
From: Dudás Ádám <sir.dudas.adam@gmail.com>
Date: Tue, 16 Apr 2013 14:11:04 +0200
Subject: [PATCH] devenv: update address of cloud git repository

---
 miscellaneous/devenv/init.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/miscellaneous/devenv/init.sh b/miscellaneous/devenv/init.sh
index c4e79fb..0bdad31 100755
--- a/miscellaneous/devenv/init.sh
+++ b/miscellaneous/devenv/init.sh
@@ -43,7 +43,7 @@ cd /opt/webadmin/
 mv cloud cloud.$(date +%s) || true
 
 
-git clone 'ssh://git@giccero.cloud.ik.bme.hu/cloud'
+git clone 'git@git.cloud.ik.bme.hu:circle/cloud.git'
 
 cd cloud
 source miscellaneous/devenv/nextinit.sh
--
libgit2 0.26.0