[master] silence unnecessary output

diff --git a/util/branchsync.sh b/util/branchsync.sh
index fd53b4ac60b207e5038a7d99eea2460fc81a34dc..cddc70d8cab160314181fae3d37f5b5bd5f8dce0 100644 (file)
--- a/util/branchsync.sh
+++ b/util/branchsync.sh
@@ -10,6 +10,9 @@
 # commit that went cleanly, and send mail -- or, if running in interactive
 # mode, we stop and allow the user to resolve conflicts.
 #
+# NOTE: This does not push changes to the repository; currently that's up
+# to the caller.
+#
 # Usage:
 # branchsync.sh [ -i ] [ -c ]
 #   -i: interactive mode (don't reset and send mail)
@@ -71,10 +74,10 @@ if [ -z "$continuing" ]; then
     fi
 
     # make sure both branches are synced to the source repository
-    git pull origin $BRANCH
-    git checkout -f $SOURCEBRANCH
-    git pull origin $SOURCEBRANCH
-    git checkout -f $BRANCH
+    git pull origin $BRANCH > /dev/null 2>&1
+    git checkout -f $SOURCEBRANCH > /dev/null 2>&1
+    git pull origin $SOURCEBRANCH > /dev/null 2>&1
+    git checkout -f $BRANCH > /dev/null 2>&1
 fi
 
 # loop through commits looking for ones that should be cherry-picked