From: Paolo Bonzini <bonzini@gnu.org>
Date: Mon, 28 Apr 2008 15:32:13 GMT
Subject: [PATCH 2/7] add push line in git-clone
Message-ID: <ff298458e7efc14721fdc0420432bf33efd76784.1209391614.git.bonzini@gnu.org>
In-Reply-To: <af57d23aca6137c1ae7702027ce3742433840872.1209391614.git.bonzini@gnu.org>

This patch makes git-clone add a remote.origin.push line, using the
new ":" special refspec.  This is useful in the following patches that
modify the behavior of "git push"; right now, it only adds clarity.

Signed-off-by: Paolo Bonzini <bonzini@gnu.org>
---
 git-clone.sh |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/git-clone.sh b/git-clone.sh
index 2636159..7a5570a 100755
--- a/git-clone.sh
+++ b/git-clone.sh
@@ -480,6 +480,8 @@ then
 	# Set up the mappings to track the remote branches.
 	git config remote."$origin".fetch \
 		"+refs/heads/*:$remote_top/*" '^$' &&
+	git config remote."$origin".push \
+		":" '^$' &&
 
 	# Write out remote.$origin config, and update our "$head_points_at".
 	case "$head_points_at" in
-- 
1.5.5