fix: git remote already exists

2026-03-31 15:07:47 +01:00 · 2022-12-27 02:01:46 +01:00
parent c2c6d5464e
commit 9ffca7fcc1
1 changed files with 1 additions and 1 deletions
@@ -14,7 +14,7 @@ function split()

 function remote()
 {
-    git remote add "$1" "$2" || true
+    git remote add "$1" "$2" || git remote set-url "$1" "$2" || true
 }

 git pull origin $CURRENT_BRANCH