From 9bed3060fe06ddaae0b81c7af3fb8e7a43076550 Mon Sep 17 00:00:00 2001
From: Hari Sekhon <harisekhon@gmail.com>
Date: Sat, 18 Apr 2020 11:23:21 +0100
Subject: [PATCH] updated git_repos_update.sh

---
 git_repos_update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/git_repos_update.sh b/git_repos_update.sh
index 1b03530b..1ee79682 100755
--- a/git_repos_update.sh
+++ b/git_repos_update.sh
@@ -54,7 +54,7 @@ run(){
         if [ -d "$repo_dir" ]; then
             pushd "$repo_dir"
             # make update does git pull but if that mechanism is broken then this first git pull will allow the repo to self-fix itself
-            git pull
+            git pull --no-edit
             if [ -n "${QUICK:-}" ] ||
                [ -n "${NOBUILD:-}" ] ||
                [ -n "${NO_BUILD:-}" ]; then