From 75d8607643624ff854c3e924f6bcd6b04931d911 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sat, 16 May 2020 14:45:33 -0500
Subject: [PATCH] build.sh: Only pull into current branch so we don't end up
 merging

---
 build.sh | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/build.sh b/build.sh
index bd204e3f3a..55566a5e2b 100755
--- a/build.sh
+++ b/build.sh
@@ -490,8 +490,9 @@ update_script_name() {
 update_script() {
     local -r update_script=$(update_script_name)
     local -r bash_path=$(which bash)
+    $ECHO "updating from ${CURRENT_BRANCH}"
     $ECHO "#!$bash_path" >"$update_script"
-    $ECHO "git pull \"$GIT_URL\" master" >>"$update_script"
+    $ECHO "git pull \"$GIT_URL\" ${CURRENT_BRANCH}" >>"$update_script"
     $ECHO "if [[ \$? -eq 0 ]]; then exec \"$0\" $SCRIPT_ARGS; else echo \"git pull failed\"; exit 2; fi" \
         >>"$update_script"
     $ECHO "exit 0" >>"$update_script"
@@ -506,18 +507,18 @@ update_script_changed() {
 
 git_fetch() {
     $ECHO "Fetching the git repository from github.com..."
-    branch=$(current_git_branch)
+    set_current_branch
 
     rm -f "$(update_script_name)"
-    $ECHO git fetch "$GIT_URL" "$branch"
-    invoke_git fetch "$GIT_URL" "$branch"
+    $ECHO git fetch "$GIT_URL" "${CURRENT_BRANCH}"
+    invoke_git fetch "$GIT_URL" "${CURRENT_BRANCH}"
 
     if update_script_changed; then
         $ECHO "Updating and restarting the build.sh script..."
         update_script
     else
         $ECHO "Updating the working tree..."
-        invoke_git pull "$GIT_URL" master
+        invoke_git pull "$GIT_URL" "${CURRENT_BRANCH}"
     fi
 }