[PATCH] cogito: master as the default remote branch
From: Santi Béjar <hidden>
Date: 2016-06-15 22:42:02
Subsystem:
the rest · Maintainer:
Linus Torvalds
Recover the old behavior of the remote branch name ... specified in $_git/branches/$name and defaulting to master. Signed-off-by: Santi Béjar <redacted> --- 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)