From 61343e9e5548785de36942d99119422ee5311093 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Sat, 26 Jul 2014 14:16:04 +0200
Subject: [PATCH] Cleanups and activated the git commands again

---
 bin/update_repos | 21 ++++++---------------
 1 file changed, 6 insertions(+), 15 deletions(-)

diff --git a/bin/update_repos b/bin/update_repos
index 0290d83..2618913 100755
--- a/bin/update_repos
+++ b/bin/update_repos
@@ -68,29 +68,20 @@ for LINE in "${LINES[@]}"; do
         if ! git diff --quiet; then
             echo -e "[\e[31mX\e[0m] $GRP/$REPODIR changed - $WORKSPACE/$GRP/$REPODIR"
         elif [ $LOCAL = $REMOTE ]; then
-            #echo "Up-to-date"
+            # Up-to-date
             echo -e "[\e[32mN\e[0m] $GRP/$REPODIR"
         elif [ $LOCAL = $BASE ]; then
-            #echo "Need to pull"
-            #echo -e "[\e[32mU\e[0m] $GRP/$REPODIR"
+            # Need to pull
             echo -e "[\e[33mU\e[0m] $GRP/$REPODIR"
-            #git pull --quiet
+            git pull --quiet
         elif [ $REMOTE = $BASE ]; then
-            #echo "Need to push"
+            # Need to push
             echo -e "[\e[33mP\e[0m] $GRP/$REPODIR pushing"
-            #git push
+            git push
         else
-            #echo "Diverged"
+            # Diverged
             echo -e "[\e[31mX\e[0m] $GRP/$REPODIR diverged - $WORKSPACE/$GRP/$REPODIR"
         fi
-
-        #if ! git diff --quiet; then
-        #    echo -e "[\e[31mX\e[0m] $GRP/$REPODIR changed - $WORKSPACE/$GRP/$REPODIR"
-        #else
-        #    echo -e "[\e[32mU\e[0m] $GRP/$REPODIR"
-        #    git pull --quiet
-        #    #git push --quiet
-        #fi
     else
         echo -e "[\e[33mC\e[0m] $GRP/$REPODIR"
         git clone --quiet $LINE