From 3b04d1367015cca8324eba09f678daa42395166e Mon Sep 17 00:00:00 2001
From: Alexander Sulfrian <alex@spline.inf.fu-berlin.de>
Date: Mon, 1 Jun 2015 19:25:11 +0200
Subject: renew-config: Change git url

---
 renew-config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/renew-config b/renew-config
index 1ca55d6..874b3b3 100755
--- a/renew-config
+++ b/renew-config
@@ -8,7 +8,7 @@ cd "$REPO" >/dev/null
 git push origin master 2>/dev/null
 
 # check if remote is up to date
-git fetch git@git.spline.de:bcfg2-repository 2>/dev/null
+git fetch git@git.spline.de:server/bcfg2-repository 2>/dev/null
 if [ -n "$(git rev-list HEAD..FETCH_HEAD)" ]; then
     error "$REPO: HEAD does not equal to origin/master."
 fi
-- 
cgit v1.2.3-1-g7c22