From 7046d2e552e203d5ac00a4a649361fe60fa973b1 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Mon, 21 Jul 2014 20:58:09 +0200
Subject: [PATCH] push is only possible to authenticated repos, disable

---
 bin/update_repos | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/update_repos b/bin/update_repos
index 669525c..8925971 100755
--- a/bin/update_repos
+++ b/bin/update_repos
@@ -62,7 +62,7 @@ for LINE in "${LINES[@]}"; do
         else
             echo -e "[\e[32mU\e[0m] $GRP/$REPODIR"
             git pull --quiet
-            git push --quiet
+            #git push --quiet
         fi
     else
         echo -e "[\e[33mC\e[0m] $GRP/$REPODIR"