scripts: In git-pull-all.sh, also fetch the latest tor-github pull requests

Implements ticket 30114.

diff --git a/changes/ticket30114 b/changes/ticket30114
new file mode 100644 (file)
index 0000000..a80f7f4
--- /dev/null
+++ b/changes/ticket30114
@@ -0,0 +1,3 @@
+  o Minor features (git scripts):
+    - In git-pull-all.sh, also fetch the latest tor-github pull requests.
+      Implements ticket 30114.

diff --git a/scripts/git/git-pull-all.sh b/scripts/git/git-pull-all.sh
index 0a4898a11172b922cc89cc9a2902e835fc7f3d42..5d1d58e4bf958dd5365379a904bbff43b66c0a50 100755 (executable)
--- a/scripts/git/git-pull-all.sh
+++ b/scripts/git/git-pull-all.sh
@@ -174,6 +174,19 @@ function fetch_origin
   fi
 }
 
+# Fetch tor-github pull requests. No arguments.
+function fetch_tor_github
+{
+  local cmd="git fetch tor-github"
+  printf "  %s Fetching tor-github..." "$MARKER"
+  if [ $DRY_RUN -eq 0 ]; then
+    msg=$( eval "$cmd" 2>&1 )
+    validate_ret $? "$msg"
+  else
+    printf "\\n      %s\\n" "${IWTH}$cmd${CNRM}"
+  fi
+}
+
 ###############
 # Entry point #
 ###############
@@ -188,8 +201,11 @@ while getopts "n" opt; do
   esac
 done
 
-# First, fetch the origin.
+# First, fetch tor-github.
 goto_repo "$ORIGIN_PATH"
+fetch_tor_github
+
+# Then, fetch the origin.
 fetch_origin
 
 # Go over all configured worktree.