unfixed the bad fix of ignoring current
authorChris Koeritz <fred@gruntose.com>
Fri, 29 Dec 2017 16:17:43 +0000 (11:17 -0500)
committerChris Koeritz <fred@gruntose.com>
Wed, 10 Jan 2018 20:01:12 +0000 (15:01 -0500)
we do need to update even the same branch we start with, since its remote origin can have changes.

scripts/rev_control/version_control.sh

index e1cb4192d4bcd8de812c39bf38e44bcb31fb8686..b1035c53549f633fdf1c23de8872abc7f0603938 100644 (file)
@@ -379,14 +379,12 @@ function do_careful_git_update()
   show_branch_conditionally "$this_branch"
 
   # this code is now doing what i have to do when i repair the repo.  and it seems to be good so far.
   show_branch_conditionally "$this_branch"
 
   # this code is now doing what i have to do when i repair the repo.  and it seems to be good so far.
+  # note that we allow the local branch to be merged with its remote counterpart; otherwise we would
+  # miss changes that happened elsewhere which should be seen in our local copy.
   local branch_list=$(all_branch_names)
   local bran
   for bran in $branch_list; do
 #    echo "synchronizing remote branch: $bran"
   local branch_list=$(all_branch_names)
   local bran
   for bran in $branch_list; do
 #    echo "synchronizing remote branch: $bran"
-    if [ "$this_branch" == "$bran" ]; then
-      echo "skipping redundant update on initial branch: $bran"
-      continue;
-    fi
     git checkout "$bran" | $TO_SPLITTER
     promote_pipe_return 0
     test_or_die "git switching checkout to remote branch: $bran"
     git checkout "$bran" | $TO_SPLITTER
     promote_pipe_return 0
     test_or_die "git switching checkout to remote branch: $bran"