From f8bad2700be80417165a160b146ad729c3f24cb7 Mon Sep 17 00:00:00 2001
From: Denis Lehmann <denis.lehmann@4am-robotics.com>
Date: Thu, 2 Nov 2023 11:48:56 +0100
Subject: [PATCH] echo pull information

---
 gis | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gis b/gis
index a55059b..a36edfd 100755
--- a/gis
+++ b/gis
@@ -120,7 +120,7 @@ if [ "$fetch" == true ]; then
         repository_name=$(basename "$dir")
 
         # Fetch all Git repositories in background
-        git fetch --prune --all 1> /dev/null 2>  >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_blue}${repository_name}${text_reset} /" >&2) &
+        git fetch --prune --all 1> /dev/null 2> >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_blue}${repository_name}${text_reset} /") &
         fetch_pids+=("$!")
     done
 
@@ -157,7 +157,7 @@ if [ "$pull" == true ]; then
         # Get repository name
         repository_name=$(basename "$dir")
 
-        git pull 1> /dev/null 2>  >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_magenta}${repository_name}${text_reset} /" >&2) &
+        git pull > >(trap 'kill $! 2> /dev/null' INT TERM; sed "s/^/${text_bold}${text_magenta}${repository_name}${text_reset} /") &
         pull_pids+=("$!")
     done