From 5a5c5478ebd0c79622e6c68ecd32f04ec150ef9c Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kodama.kitenet.net>
Date: Fri, 26 Oct 2007 01:37:58 -0400
Subject: [PATCH 1/1] remove set -x

---
 mrconfig.git-fake-bare | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mrconfig.git-fake-bare b/mrconfig.git-fake-bare
index 730d85d..5ae396c 100644
--- a/mrconfig.git-fake-bare
+++ b/mrconfig.git-fake-bare
@@ -21,7 +21,6 @@ lib =
 	# git doesn't have an easy way to check out such a repo, so
 	# do it by hand
 	git_fake_bare_checkout() {
-		set -x
 		url="$1"
 		repo="$2"
 		GIT_WORK_TREE= git clone --no-checkout "$url" "$repo"
-- 
2.39.5