From 6cefc9f8c3b3359eb2217f513c732734a968d7a7 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@diginaut.net>
Date: Wed, 13 Apr 2016 20:54:25 +0200
Subject: [PATCH] push and pull with --all, push --tags too, for more complete
 sync

---
 bin/update_repos | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bin/update_repos b/bin/update_repos
index 8ba6496..6fe0368 100755
--- a/bin/update_repos
+++ b/bin/update_repos
@@ -79,11 +79,12 @@ for LINE in "${LINES[@]}"; do
         elif [ $LOCAL = $BASE ]; then
             # Need to pull
             echo -e "[\e[33mU\e[0m] $GRP/$REPODIR"
-            git pull --quiet
+            git pull --all --quiet
         elif [ $REMOTE = $BASE ]; then
             # Need to push
             echo -e "[\e[33mP\e[0m] $GRP/$REPODIR pushing"
-            git push --quiet
+            git push --all --quiet
+            git push --tags --quiet
         else
             # Diverged
             echo -e "[\e[31mX\e[0m] $GRP/$REPODIR diverged - $WORKSPACE/$GRP/$REPODIR"