From e043d4896d65f6700938cff5adbddaf97d2bb3ed Mon Sep 17 00:00:00 2001
From: Denis Lehmann <denis.lehmann@4am-robotics.com>
Date: Tue, 5 Nov 2024 17:12:57 +0100
Subject: [PATCH] handle already existing remotes

---
 gra | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/gra b/gra
index f213ebe..5f748aa 100755
--- a/gra
+++ b/gra
@@ -3,6 +3,7 @@
 # Text formatting variables
 text_reset=$'\e[0m'
 text_bold=$'\e[1m'
+text_yellow=$'\e[33m'
 text_red=$'\e[31m'
 
 function print_usage {
@@ -19,6 +20,10 @@ OPTIONS
 EOF
 }
 
+function warning {
+    echo -e "${text_bold}${text_yellow}WARNING${text_reset} $1"
+}
+
 function usage_error {
     echo -e "${text_bold}${text_red}ERROR${text_reset} $1\n"
     print_usage
@@ -94,7 +99,7 @@ remote_name="origin-${remote_name}"
 # Add remote
 echo "Adding remote ${text_bold}${remote_name}${text_reset} with URL ${text_bold}${remote_url}${text_reset}"
 if ! git remote add "$remote_name" "$remote_url"; then
-    error "Failed to add remote ${text_bold}${remote_name}${text_reset}"
+    warning "Failed to add remote ${text_bold}${remote_name}${text_reset}, trying to fetch..."
 fi
 
 # Fetch