Recover the old behavior of the remote branch name
... specified in $_git/branches/$name and defaulting to master.
Signed-off-by: Santi Béjar <[EMAIL PROTECTED]>
---
cg-pull | 2 +-
cg-push | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/cg-pull b/cg-pull
--- a/cg-pull
+++ b/cg-pull
@@ -249,7 +249,7 @@ name=${ARGS[0]}
[ "$name" ] || die "where to pull from?"
uri=$(cat "$_git/branches/$name" 2>/dev/null) || die "unknown branch: $name"
-rembranch=$_git_head
+rembranch=master
if echo "$uri" | grep -q '#'; then
rembranch=$(echo $uri | cut -d '#' -f 2)
uri=$(echo $uri | cut -d '#' -f 1)
diff --git a/cg-push b/cg-push
--- a/cg-push
+++ b/cg-push
@@ -26,7 +26,7 @@ name=${ARGS[0]}
[ "$name" ] || die "where to push from?"
uri=$(cat "$_git/branches/$name" 2>/dev/null) || die "unknown branch: $name"
-rembranch=$_git_head
+rembranch=master
if echo "$uri" | grep -q '#'; then
rembranch=$(echo $uri | cut -d '#' -f 2)
uri=$(echo $uri | cut -d '#' -f 1)
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html
