From f0d3d6e19ef3c71b0e6bca90eab5dd6f8835da9b Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 19 May 2015 21:50:27 +0200
Subject: prelude: there's no cache-git

---
 lib/prelude.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/prelude.sh b/lib/prelude.sh
index 0350642..d2c9da8 100644
--- a/lib/prelude.sh
+++ b/lib/prelude.sh
@@ -17,9 +17,9 @@ clone_or_update() {(
     git init -q
 
     if ! current_url=$(git config remote.src.url); then
-      ${cache-git} remote add "src" "$git_url"
+      git remote add "src" "$git_url"
     elif [ $current_url != $git_url ]; then
-      ${cache-git} remote set-url src ${git_url}
+      git remote set-url src ${git_url}
     fi
 
     git fetch config
-- 
cgit v1.2.3