]> gitweb.fluxo.info Git - utils-git.git/commitdiff
Always add a remote
authorSilvio Rhatto <rhatto@riseup.net>
Thu, 23 Nov 2017 20:36:18 +0000 (18:36 -0200)
committerSilvio Rhatto <rhatto@riseup.net>
Thu, 23 Nov 2017 20:36:18 +0000 (18:36 -0200)
git-remote-all

index 496cc21e8164ae9a49ed1d539f26834d040ded21..e6bd4bdb7f47bf688f7f53df14ba6c72aced63b6 100755 (executable)
@@ -32,10 +32,11 @@ for remote in $*; do
 
   echo "Adding $url as a pushurl for remote 'all'..."
 
-  # Add current remote as a push URL for remote 'all'
+  # Ensure remote exists
   if ! git remote get-url --push all &> /dev/null; then
     git remote add all $url
-  else
-    git remote set-url --add --push all $url
   fi
+
+  # Add current remote as a push URL for remote 'all'
+  git remote set-url --add --push all $url
 done